Matematik ob’ektlar bitta termin (so’z, nom) bilan ifodalanadi

Ta’riflanuvchi va ta’riflovchi tushunchalar o’zaro mutanosib bo’lishi;

Tushunchani o’zini-o’zi orqali ta’riflash mumkin emas;

Tushunchada ortiqcha narsalar bo’lmaslik.

Fikr tushunchasi. Fikrning inkori

Mantiq fikrlash usullarining tahlilidan iboratdir. Matematik mantiq esa, mantiq ob’ektlarini matematik usulda tekshiradigan fandir.

Matematik mantiqda fikr (mulohaza) boshlang’ich tushuncha bo’lib,

u ta’riflanmaydi. U rost yoki yolg’onligi bir qiymatli aniqlanadigan darak gap deb tushuniladi. Quyida fikrlarga doir misollar keltiramiz:

Tekislikda berilgan ikkita turli nuqtadan bitta va faqat bitta to’g’ri chiziq o’tadi;