Theorema

Timbro chec:theorema final de Fermat

In mathematica, untheoremaes un proposition logic e sin contradiction (consistente), que pote esser deducite como ver per le medio de unprova mathematic.Hic on conclude deaxiomas,leges,definitiones e theoremas jam cognoscite.

In le theorema "Si$p\geq 3$es unnumero prime,tunc illo non es par. ",

• le prime parte "$p\geq 3$es un numero prime "es leconditiondel theorema, durante que
• le secunde parte "illo non es par" es leproposition.

Species inferior de theoremas escorollarioselemmas.