Der Satz konstruiert 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üsse ziehen etc. So kann ich sehen daß, wenn „(x,φ). φ(x)” wahr wäre, dieser Satz im Widerspruch stünde mit einem Satze „ψ(a)”.)