Die Methode der Kontrolle der Wahrheit entspricht dem Sinn des mathematischen
625
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 “(k)
n
m


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


n
m
…”, die sich auf Intervalle beziehen.