Feferman-Schutte ordinal

Redirect to:

• Feferman–Schütte ordinal