Matematika fakulteti funksional analiz, algebra va geometriya

Isbotlavchi fo’rmula tushunchasi. Endi mulohazalar hisobida isbotlanuvchi fo’rmulalar sinfini o’rganamiz. Isbotlanuvchi fo’rmula tushunchasiga ham fo’rmula tushunchasi tarifiga o’xshash ta’rif beriladi.

Avval dastlabki isbotlanuvchi formulalar (aksiomalar), undan keyin esa keltirib chiqarish qoidasi aniqlanadi. Keltirib chiqarish qoidasi orqali isbotlanuvchi fo’rmulalardan yangi isbotlanuvchi fo’rmulalar hosil qilinadi.

Dastlabki isbotlanuvchi fo’rmulalardan keltirib chiqarish qoidasini qo’lash yo’li bilan yangi isbotlanuvchi fo’rmulalarni hosil qilish shu fo’rmulalarni aksiomalardan keltirib chiqarish deb ataladi.