ℕ🪜:¹

#kleene hierarchy #arithmetical hierarchy #quantifier alternation #computability #mathematical logic #complexity classes #∃ #∀ #natural numbers

∃✨❓

#existential quantifier #there exists #for some #predicate logic #quantification #logic symbol #∃