Ein mathematischer Satz kann nur eine Festsetzung sein, oder ein nach einer bestimmten Methode aus Festsetzungen errechnetes Resultat. Und das muss für “9 ist durch 3 teilbar” oder “9 ist durch 3 nicht teilbar” gelten.

2