Angenommen der Ausdruck „~(∃x) x = x” wäre ein Satz nämlich etwa der: „Es gibt keine Dinge” dann müßte es sehr wundernehmen daß wir, um diesen Satz in Symbolen auszudrücken eine Relation ( = ) benützen müssen, von der in ihm ursprünglich || eigentlich gar nicht die Rede ist.