9 ideas
11257 | The Pythagoreans were the first to offer definitions [Politis, by Politis] |
11235 | 'True of' is applicable to things, while 'true' is applicable to words [Politis] |
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] |
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
11277 | Maybe 'What is being? is confusing because we can't ask what non-being is like [Politis] |
11248 | Necessary truths can be two-way relational, where essential truths are one-way or intrinsic [Politis] |