In mathematica, un theorema es un proposition logic e sin contradiction (consistente), que pote esser deducite como ver per le medio de un prova mathematic. Hic on conclude de axiomas, leges, definitiones e theoremas jam cognoscite.
In le theorema "Si es un numero prime, tunc illo non es par.",
Species inferior de theoremas es corollarios e lemmas.