Die Methode der Kontrolle der Wahrheit entspricht dem Sinn des mathe-
625
matischen Satzes. Kann von so einer Kontrolle nicht die Rede sein, dann bricht die Analogie der “mathematischen Sätze” mit dem, was wir sonst Satz nennen, zusammen. So gibt es eine Kontrolle für die Sätze der Form “(Ek)
n
m


n
m
…” und “non.neg(Ek)
n
m


n
m
…”, die sich auf Intervalle beziehen.