Unter einem mathematischen Satz versteht mein eine wahre Aussage, die aus Axiomen und anderen Sätzen durch einen sog. Beweis nachvollziehbar und durch korrektes logisches Schließen ableitbar ist.
Korrekte logische Schlüsse eines Beweises notiert man durch: