Ein mathematischer Satz ist eine Aussage über mathematische Gegebenheiten, Zusammenhänge, usw. der bereits bewiesen wurde, dass er wahr ist. Wurde die Wahrheit noch nicht bewiesen, so ist es eine Vermutung oder eine falsche Aussage.
Alles was in einem mathematischen Satz vorkommt, sollte zuvor unmissverständlich definiert sein.
Deswegen die berühmte Reihenfolge: Definition -> Satz -> Beweis