more from this thinker | more from this text
Full Idea
The paradox of the largest ordinal (the 'Burali-Forti') is that the class of all ordinal numbers is apparently well-ordered, and so it has an ordinal number as order type, which must be the largest ordinal - but all ordinals can be increased by one.
Gist of Idea
Paradox: the class of all ordinals is well-ordered, so must have an ordinal as type - giving a bigger ordinal
Source
Shaughan Lavine (Understanding the Infinite [1994], III.5)
Book Ref
Lavine,Shaughan: 'Understanding the Infinite' [Harvard 1994], p.61
Related Idea
Idea 15918 Paradox: there is no largest cardinal, but the class of everything seems to be the largest [Lavine]
15893 | Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine] |
18174 | Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy] |
10034 | The number of natural numbers is not a natural number [Frege, by George/Velleman] |
14143 | ω names the whole series, or the generating relation of the series of ordinal numbers [Russell] |
15915 | Ordinals are basic to Cantor's transfinite, to count the sets [Lavine] |
15917 | Paradox: the class of all ordinals is well-ordered, so must have an ordinal as type - giving a bigger ordinal [Lavine] |
8663 | Raising omega to successive powers of omega reveal an infinity of infinities [Friend] |
8662 | The first limit ordinal is omega (greater, but without predecessor), and the second is twice-omega [Friend] |
23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |