La paraula Teorema prové de el llatí Theorema, és una veritat no obvia, però si demostrable. Els teoremes sorgeixen arran de propietats intuïtives i té caràcter exclusivament deductiu, per la qual cosa es requereix d'un tipus de raonament lògic (demostració) per a ser acceptats amb el caràcter de veritats absolutes.
Alguns exemples de teorema són els següents: el quadrat de la suma de la hipotenusa és igual a la suma dels quadrats dels catets. Si un nombre acaba en zero o en cinc és divisible per cinc.
En els postulats (veritat intuïtiva amb suficient evidència per a ser acceptada com a tal) com el dels teoremes ha un condicional (hipòtesi) i una conclusió (tesi) que es considera s'ha de complir en cas que la part condicional o hipòtesis tingui validesa. En els teoremes es requereix la demostració, que no és més que una sèrie de raonaments concatenats que es recolzen en postulats o en altres teoremes o lleis ja demostrats.
És molt important tenir en compte la reciprocitat d'un teorema. Això ve a ser un altre teorema la hipòtesi és la tesi de el primer (teorema directe) i la tesi és la hipòtesi el teorema directe. Per exemple:
Teorema directe, si un nombre acaba en zero o cinc (hipòtesi), serà divisible per cinc (tesi).
Teorema recíproc, si un nombre és divisible per cinc (hipòtesi), ha d'acabar en zero o cinc (tesi). Cal estar molt pendent perquè no gairebé sempre els teoremes recíprocs són certes.
Alguns dels teoremes més famosos de la història són: el de Pitàgores, Tales, Fermat, Euclides, Bayes, el de limiti central, nombres primers, Morley, entre d'altres.
