Boshlang'ich ta'rifi - Elementary definition

Yilda matematik mantiq, an elementar ta'rif faqat yordamida aniqlanadigan ta'rifdir yakuniy birinchi darajali mantiq va, xususan, havolasiz to'plam nazariyasi yoki kabi kengaytmalardan foydalanish ko'plik miqdorini aniqlash. Boshlang'ich ta'riflar alohida qiziqish uyg'otadi, chunki ular to'liq tasdiqlovchi apparatni qabul qilish hali ham kundalik matematikani qo'llab-quvvatlash uchun etarlicha ta'sirchan bo'lib (masalan, oddiy elementar aksiomalar qo'shilishi bilan) Zermelo-Fraenkel to'plamlari nazariyasi (ZFC)).

Ta'rifni elementar deb aytish, aytishga qaraganda kuchsizroq shart algebraik.

Bog'liq

Adabiyotlar

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