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.

Timbro chec: theorema final de Fermat

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.