5 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] |
6172 | The Inverted Earth example shows that phenomenal properties are not representational [Block, by Rowlands] |
4688 | We imagine small and large objects scaled to the same size, suggesting a fixed capacity for imagination [Lavers] |