Teorema - haqiqati isbot yordamida o'rnatiladigan matematik mulohaza. Teoremani shakllantirish turlari: implikativ va kategorik. Teorema sharti - unda u yoki bu ob'ekt qanday sharoitlarda ko'rib chiqiladi. Teoremaning xulosasi - bu ob'ekt haqida nima da'vo qilingan. Teoremalarning asosiy turlari: To'g'ridan-to'g'ri, Orqaga, Qarama-qarshi, Kontrapozitiv (teskarisiga teskari). Isbot - gapning haqiqatini asoslash maqsadida fikr yuritish. Tasdiqlash elementlari: dissertatsiya, dalil dalillari, namoyish. Tezis - isbo