8 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] |
15312 | We get the idea of power by abstracting from ropes, magnets and electric shocks [Priestley] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
15311 | Attraction or repulsion are not imparted to matter, but actually constitute it [Priestley] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |