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 sağlayan sonuç alıcı bir yöntemin bulunmadığı kuramın özelliği. (Aritmetiği biçimselleştirebilecek kadar güçlü bir kuram, eğer özyeterliyse, kararlaştırılamaz bir kuramdır; yüklemler hesabı, ka- rarlaştırılamaz bir özellik taşır.)