Kleene–Mostowski hierarchy

Redirect to:

• Arithmetical hierarchy