13 ideas
13451 | The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano] |
15717 | Using Choice, you can cut up a small ball and make an enormous one from the pieces [Kaplan/Kaplan] |
13452 | Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano] |
13449 | We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano] |
13450 | Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano] |
13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
15712 | 1 and 0, then add for naturals, subtract for negatives, divide for rationals, take roots for irrationals [Kaplan/Kaplan] |
15711 | The rationals are everywhere - the irrationals are everywhere else [Kaplan/Kaplan] |
15714 | 'Commutative' laws say order makes no difference; 'associative' laws say groupings make no difference [Kaplan/Kaplan] |
15715 | 'Distributive' laws say if you add then multiply, or multiply then add, you get the same result [Kaplan/Kaplan] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
15713 | The first million numbers confirm that no number is greater than a million [Kaplan/Kaplan] |
13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |