5.52 Sind die Werte von ξ sämtliche Werte einer Funktion fx für alle Werte von x, so wird = ∼(∃x) . fx.