Ordet Theorem kommer från den latinska theorēma, det är ingen uppenbar sanning, men det är påvisbart. Satser uppstår som ett resultat av intuitiva egenskaper och är uteslutande deduktiva till sin natur, varför en typ av logiskt resonemang (bevis) krävs för att accepteras som absoluta sanningar.
Några exempel på satsen är som följer: kvadraten av summan av hypotenusen är lika med summan av benens kvadrater. Om ett tal slutar med noll eller fem är det delbart med fem.
I postulaten (intuitiv sanning med tillräckligt med bevis för att accepteras som sådana) såsom satser finns det en villkorlig (hypotes) och en slutsats (avhandling) som anses uppfylld om den villkorliga delen eller hypotesen är giltig. Satser kräver bevis, vilket är inget annat än en serie sammanhängande resonemang som stöds av postulat eller andra redan beprövade satser eller lagar.
Det är mycket viktigt att ta hänsyn till en satss ömsesidighet. Detta blir en annan sats vars hypotes är avhandlingen av den första (direkt sats) och vars tes är hypotesen för den direkta satsen. Till exempel:
Direkt sats, om ett tal slutar med noll eller fem (hypotes), kommer det att delas med fem (avhandling).
Ömsesidig teorem, om ett tal är delbart med fem (hypotes), måste det sluta med noll eller fem (avhandling). Du måste vara mycket vaksam eftersom ömsesidiga satser inte alltid är sanna.
Några av de mest kända teoremerna i historien är: Pythagoras ', Thales, Fermat, Euclides, Bayes, den centrala gränsen, primtal, Morley, bland andra.
