Wie lautet die Analyse des Satzes 4 ˃ 3”? Ich dachte früher „(∃n) ∙ 3 + n = 4”; und so ist es auch nur daß das (∃n) hier natürlich nicht extensiv zu verstehen ist, sondern bedeutet daß die Gleichung 3 + n = 4 (wo n positiv wo n eine positive ganzzahlige Variable ist) lösbar ist.