15925 | Each Von Neumann ordinal number is the set of its predecessors [Lavine on Neumann] |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Maddy] |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |