Download as PDF

Feferman–Schütte ordinal