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 ${\displaystyle p\geq 3}$ es un numero prime, tunc illo non es par.",

• le prime parte "${\displaystyle p\geq 3}$ 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.