Φ~ ζ ∃m∀ζ~Φ doesn't have any sets.