Teorema
Teorema (lot. theorema = tezė, reikalaujanti įrodymo; gr. theorema = požiūris, tezė) – dedukcinės teorijos teiginys, kurio teisingumas patvirtinamas įrodymu, remiantis anksčiau įrodytomis teoremomis ir apsibrėžtomis aksiomomis. Teoremos dažniausiai formuluojamos jungiamaisiais sakiniais, kur pirmoji sakinio dalis prasideda žodžiu „jeigu“ (teoremos sąlyga), o antroji dalis - “tai“ - teoremos išvada. Sukeitus vietomis teoremos sąlygą su išvada, gaunama teorema atvirkštinė duotajai, tokios teoremos pavyzdys - atvirkštinė Pitagoro teorema.