Source: wikibot/feferman-schutte-ordinal

= Feferman–Schütte ordinal
{wiki=Feferman–Schütte_ordinal}