7 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
541 | Virtue comes more from habit than character [Critias] |
13605 | Gravity isn't a force, because it produces effects without diminishing [Mayer] |
542 | Fear of the gods was invented to discourage secret sin [Critias] |