6 ideas
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] |
15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
3015 | The virtue of man is thoughtful foresight of future events [Chilo, by Diog. Laertius] |
22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |