5 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
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] |
3536 | Supervenient properties must have matching base properties [Kim] |