Boshlang'ich gap - Elementary sentence - Wikipedia

Yilda matematik mantiq, an oddiy gap faqat foydalanib aytilgan narsadir yakuniy birinchi darajali mantiq, havolasiz to'plam nazariyasi yoki mavjud bo'lgan har qanday aksiomalardan foydalanish mustahkamlik kuchi ga teng to'plam nazariyasi.

Gapni boshlang'ich deb aytish, aytishga qaraganda kuchsizroq shart algebraik.

Bog'liq

Adabiyotlar

  • Mac Lane va Moerdijk, Geometriya va mantiq sohalari: Topos nazariyasiga birinchi kirish, sahifa 4.