>>70
∃φ∀x[x∉φ] と ∀x∃φ[x∉φ] は大違い