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