Feferman–Schütte ordinal

ID: feferman-schutte-ordinal

New to topics? Read the docs here!