En sætning er en påstand, der er blevet bevist sand. Den er ikke antaget eller formodet; den følger af aksiomer, definitioner og tidligere beviste resultater ved logisk deduktion. Beviset er det, der gør en sætning pålidelig.

Berømte sætninger inkluderer Pythagoras' sætning, den grundlæggende sætning i kalkulus og Fermats sidste sætning. Nogle sætninger er simple; andre tager hundredvis af sider at bevise. Firefarvesætningen var den første store sætning, der blev bevist med computerhjælp.

Sætninger er matematikkens vigtigste resultater. De er navngivet, nummereret og har referencer. En sætning kan have korollarier, lemmaer og generaliseringer. Processen med at bevise sætninger er kernen i matematisk forskning.

• Udsagn bevist sandt af logik
• Følger af aksiomer og tidligere resultater
• Eksempler: Pythagoras, Fermats sidste
• Bevis er det, der fastslår sandheden