(sıfat, matematik, felsefe) Matematiksel sistemlerin kendi içindeki önermeleri değil, bu sistemlerin kanıtlanabilirlik ve tutarlılık koşullarını konu edinen.
Not: Bu bölümde gösterilen cümleler, derlem cümle seçme algoritmasının otomatik seçimleridir. Cümlelerdeki görüş, ifade ve içerikler kaynak metinlere aittir; Bitigçi’yi bağlamaz ve Bitigçi’nin görüşünü ya da tutumunu yansıtmaz.
Sayfadaki özellikler henüz yüklenmedi. Lütfen kısa bir süre bekleyiniz.
Sonuçların yüklenmesi için hesaplama yapılıyor.
Preparing citation formats for the current entry.
The definition, field tag and the word family partnership are selected in the dictionary entry.
Panel açıldığında BD varyant verileri yüklenir.
Panel açıldığında BD tanık verileri yüklenir.
/karşılaştır umut ile ümit