683
     Die Methode der Kontrolle der Wahrheit entspricht dem Sinn des mathematischen Satzes. Kann von so einer Kontrolle nicht die Rede sein, dann fällt || 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
…” und “non.neg(k)
n
m
…”, die sich auf Intervalle beziehen.