Theorema
Apparentia
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.