Theorem

Ein Theorem oder Satz ist innerhalb einer mathematischen Theorie (die auf Axiomen und Deduktionsregeln basiert) eine gültige Aussage, d.h. sie kann durch einen mathematischen Beweis aus den Axiomen durch die Deduktionsregeln der Theorie gefolgert werden.