Matematika fakulteti funksional analiz, algebra va geometriya

3-teorema. Mulohazalar hisobi ziddiyatsiz nazariyadir.

Isboti. Mulohazalar hisobida va bir vagalikda o’zida isbotlanuvchi formula bo’ladigan qanday fo’rmula mavjud emasligini ko’rsatamiz.

mulohazalar hisobining ixtiyoriy formulasi bo’lsin. Agar isbotlanuvchi formula bo’lsa, u holda aynan chin formuladir va, demak, aynan yolg’on formula bo’ladi. Shuning uchun ham isbotlanuvchi formula bo’lmaydi.

Demak, va bir vaqtda isbotlanuvchi formulalar bo’la olmaydi. Shuning uchun ham mulohazalar hisobi zidiyatga ega emas.