9 ideas
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
14979 | Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider] |
15454 | Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis] |
22320 | An 'object' is just what can be referred to without possible non-existence [Wittgenstein] |
15455 | Total intrinsic properties give us what a thing is [Lewis] |
18283 | Language pictures the essence of the world [Wittgenstein] |
18282 | You can't believe it if you can't imagine a verification for it [Wittgenstein] |