Theorema
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.",
 le prime parte " es un numero prime" es le condition del theorema, durante que
 le secunde parte "illo non es par" es le proposition.

Species inferior de theoremas es corollarios e lemmas.

Terminologia mathematic