5 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |