Ein mathematischer Satz kann nur, entweder eine Festsetzung sein, oder ein nach einer bestimten Methode, ˇaus Festsetzungen errechnetes Resultat
  Und das muß für „[7| 9] ist durch 3 teilbar” oder „9 ist durch 3 nicht teilbar” gelten.