14138 | You can't get a new transfinite cardinal from an old one just by adding finite numbers to it [Russell] |
14140 | For every transfinite cardinal there is an infinite collection of transfinite ordinals [Russell] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
18173 | Cardinality strictly concerns one-one correspondence, to test infinite sameness of size [Maddy] |
15918 | Paradox: there is no largest cardinal, but the class of everything seems to be the largest [Lavine] |