KARARLAŞTIRILAMAZLIK a Mant 1. Kararlaştırılamaz bir formülün özelliği. 2. içinde her A formülü için, A nın K de tanıtlanabilir olup...
KARARLAŞTIRILAMAZLIK a Mant
1. Kararlaştırılamaz bir formülün özelliği.
2. içinde her A formülü için, A nın K de tanıtlanabilir olup olmadığına karar verilebilmesi elde eden netice alıcı bir yöntemin bulunmadığı kuramın özelliği. (Aritmetiği biçimselleştirebilecek kadar kuvvetli bir kuram, eğer özyeterliyse, kararlaştırılamaz bir kuramdır; yüklemler hesabı, ka- rarlaştırılamaz bir özellik taşır.)
1. Kararlaştırılamaz bir formülün özelliği.
2. içinde her A formülü için, A nın K de tanıtlanabilir olup olmadığına karar verilebilmesi elde eden netice alıcı bir yöntemin bulunmadığı kuramın özelliği. (Aritmetiği biçimselleştirebilecek kadar kuvvetli bir kuram, eğer özyeterliyse, kararlaştırılamaz bir kuramdır; yüklemler hesabı, ka- rarlaştırılamaz bir özellik taşır.)
Kaynak: Büyük Larousse
YORUMLAR