9 ideas
6564 | To affirm 'p and not-p' is to have mislearned 'and' or 'not' [Quine] |
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] |
5062 | First: there must be reasons; Second: why anything at all?; Third: why this? [Leibniz] |
19377 | A monad and its body are living, so life is everywhere, and comes in infinite degrees [Leibniz] |
19353 | 'Perception' is basic internal representation, and 'apperception' is reflective knowledge of perception [Leibniz] |
5061 | Animals are semi-rational because they connect facts, but they don't see causes [Leibniz] |
5063 | Music charms, although its beauty is the harmony of numbers [Leibniz] |