Der Satz construiert eine Welt mit Hilfe seines logischen Gerüstes und darum kann man am Satz auch sehen wie sich alles logische verhielte wenn er wahr wäre: man kann aus einem falschen Satz Schlüße ziehen etc. Co kann ich sehen daß, wenn „(x,φ)[,|.] φ(x)” wahr wäre, dieser Satz im Widerspruch stünde mit einem Satze „ψ(a)”.)