Ein
Satz
ist in der Mathematik eine bewiesene
Aussage
.