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