9 ideas
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
2602 | What experience could prove 'If a=c and b=c then a=b'? [Descartes] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
2600 | The mind's innate ideas are part of its capacity for thought [Descartes] |
2601 | Qualia must be innate, because physical motions do not contain them [Descartes] |