Sats (matematik)

Inom matematiken kallas ett påstående, som formellt kan bevisas, för ett teorem eller en sats (till skillnad från ordens användning inom logiken). En sats som uttrycker ett enkelt resultat som främst används vid bevis av andra satser kallas lemma. Ett resultat som tämligen direkt följer på en annan sats kallas korollarium eller följdsats.