6 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] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
6587 | It is always wrong to believe things on insufficient evidence [Clifford] |