A tétel egy olyan állítás, amelynek igazságát bizonyították. Nem feltételezés vagy sejtés; axiómákból, definíciókból és korábban bizonyított eredményekből következik logikai dedukcióval. A bizonyítás teszi a tételt megbízhatóvá.

Híres tételei közé tartozik a Pitagorasz-tétel, a kalkulus alaptétele és Fermat utolsó tétele. Egyes tételek egyszerűek, mások bizonyítása több száz oldalt vesz igénybe. A négyszín-tétel volt az első jelentős tétel, amelyet számítógép segítségével bizonyítottak.

A tételek a matematika fő eredményei. Elnevezzük, számozzuk és hivatkozunk rájuk. Egy tételnek lehetnek következményei, lemmái és általánosításai. A tételek bizonyításának folyamata a matematikai kutatás lelke.

• Logikailag igaznak bizonyuló állítás
• Az axiómákból és a korábbi eredményekből következik
• Példák: Pitagorasz-tétel, Fermat utolsó tétele
• A bizonyíték az, ami megalapozza az igazságot