OurBigBook
About
$
Donate
Sign in
Sign up
Source:
wikibot/takeuti-feferman-buchholz-ordinal
= Takeuti–Feferman–Buchholz ordinal {wiki=Takeuti–Feferman–Buchholz_ordinal}
Back to article page