12 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] |
| 304 | Beautiful things must be different from beauty itself, but beauty itself must be present in each of them [Plato] |
| 16120 | Knowing how to achieve immortality is pointless without the knowledge how to use immortality [Plato] |
| 303 | Say how many teeth the other has, then count them. If you are right, we will trust your other claims [Plato] |
| 7458 | The reliability of witnesses depends on whether they benefit from their observations [Laplace, by Hacking] |
| 3441 | If a supreme intellect knew all atoms and movements, it could know all of the past and the future [Laplace] |
| 302 | What knowledge is required to live well? [Plato] |
| 301 | Only knowledge of some sort is good [Plato] |
| 305 | Something which lies midway between two evils is better than either of them [Plato] |