8 ideas
19404 | Necessities rest on contradiction, and contingencies on sufficient reason [Leibniz] |
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] |
22320 | An 'object' is just what can be referred to without possible non-existence [Wittgenstein] |
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] |
19403 | Each of the infinite possible worlds has its own laws, and the individuals contain those laws [Leibniz] |