display all the ideas for this combination of texts
4 ideas
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |