Ich dachte, die Möglichkeit der Wahrheit eines Satzes φ(a) ist an die Tatsache (∃x,φ) .φx gebunden. Aber es ist nicht einzusehen warum φa nur dann möglich sein soll wenn es einen anderen Satz derselben Form gibt. φa kann || braucht doch keinen Präzedenzfall. (Denn angenommen es gäbe nur die beiden Elementarsätze „φa” & „ψa” und „φa” sei falsch: warum soll dieser Satz nur dann einen Sinn haben wenn „ψa” wahr ist?!)