Mavzu; Tushunchalarni ta’riflashga oid misollar

Matematik mantiq elementlari

Matematikada boshqa ta’riflash ham uchraydi. Masalan, “Uchburchak deb bir to’g’ri chiziqda yotmagan uchta nuqta va ularni juft-jufti bilan tutashtiruvchi uchta kesmadan iborat figuraga aytiladi” degan ta’riflashda, uchburchakni yasash usuli ko’rsatib ta’riflangan. Shu sababdan bu ta’riflash genetik (kelib chiqish) ta’riflash deb ataladi. Tushuncha ta’rifiga quyidagi talablar qo’yiladi:

1. 
   Ta’riflanuvchi va ta’riflovchi tushunchalar o’zaro mutanosib bo’lishi;
   
2. 
   Tushunchani o’zini-o’zi orqali ta’riflash mumkin emas;
   
3. 
   Tushunchada ortiqcha narsalar bo’lmaslik.