(isim, matematik, felsefe) Matematiksel sistemlerin tutarlılık, kanıtlanabilirlik ve biçimsel sınırlarını matematiğin araçlarıyla inceleyen alan.
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.
Güncel madde için atıf biçimleri hazırlanıyor.
Tanım, alan etiketi ve sözcük ailesi ortaklığına göre seçilen maddeler.
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