En sats är ett påstående som kan bevisas. Ett exempel på en sats är den som beskriver sambandet mellan sidlängderna i en rätvinklig triangel:
a2+b2=c2,
dvs. Pythagoras sats. Det måste dock inte röra sig om ekvationer. Påståenden som "jämna tal är delbara med 2" är också satser - så länge de kan bevisas!