A Tétel szó a latin teoremából származik, ez nem nyilvánvaló igazság, de kimutatható. A tételek az intuitív tulajdonságok eredményeként keletkeznek, és kizárólag deduktív jellegűek, ezért szükséges egyfajta logikai érvelés (bizonyítás) elfogadása abszolút igazságként.
Néhány példa a tételre a következő: a hipotenusz összegének négyzete megegyezik a lábak négyzetének összegével. Ha egy szám nulla vagy öt végződik, akkor osztható ötvel.
A posztulátumokban (intuitív igazság, elegendő bizonyítékkal ahhoz, hogy ilyet elfogadhassunk), mint például a tételek, található egy feltételes (hipotézis) és egy következtetés (tézis), amelyet teljesítettnek tekintenek abban az esetben, ha a feltételes rész vagy hipotézis érvényes. A tételek megkövetelik a bizonyítást, ami nem más, mint összefűzött gondolatok sora, amelyet posztulátumok vagy más, már bizonyított tételek vagy törvények támogatnak.
Nagyon fontos figyelembe venni a tétel kölcsönösségét. Ez egy újabb tétel lesz, amelynek hipotézise az első tézise (közvetlen tétel), és tézise a közvetlen tétel hipotézise. Például:
Közvetlen tétel, ha egy szám nulla vagy öt végű (hipotézis), akkor osztható lesz ötvel (tézis).
Kölcsönös tétel, ha egy szám osztható ötvel (hipotézis), annak nullának vagy ötnek kell lennie (tézis). Nagyon óvatosnak kell lenned, mert a reciprok tételek nem mindig igazak.
A történelem leghíresebb tételei a következők: Pythagoras, Thales, Fermat, Euclides, Bayes, a központi határ, a prímszámok, Morley, többek között.
