En sats är ett påstående som har bevisats sant. Det är inte ett antagande eller en gissning; det följer av axiom, definitioner och tidigare bevisade resultat genom logisk deduktion. Beviset är det som gör en sats tillförlitlig.

Kända satser inkluderar Pythagoras sats, kalkylens grundsats och Fermats sista sats. Vissa satser är enkla; andra tar hundratals sidor att bevisa. Fyrfärgssatsen var den första större satsen som bevisades med datorhjälp.

Satser är matematikens huvudresultat. De är namngivna, numrerade och refererade. En sats kan ha korollarier, lemman och generaliseringar. Processen att bevisa satser är kärnan i matematisk forskning.

• Påstående bevisat sant genom logik
• Följer från axiom och tidigare resultat
• Exempel: Pythagoras, Fermats sista
• Bevis är det som fastställer sanningen