EntityQ2264170· pop 5· linked from 27 articlesFeferman–Schütte ordinalSign in to savelarge countable ordinal; the proof-theoretic ordinal of arithmetical transfinite recursionConnectionsnumberEntityInternational Standard Book NumberEntityset theoryEntitydigital object identifierEntitybibcodeEntityQ118398Entityordinal numberEntityMathematical ReviewsEntitySolomon FefermanEntityKurt SchütteEntityordinal arithmeticEntityGaisi TakeutiEntityimpredicativityEntityreverse mathematicsEntityfirst uncountable ordinalEntityepsilon numbersEntityCategoriesOrdinal numbersProof theory