12 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
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] |
21103 | Moral questions can only be decided by common opinion [Hume] |
21099 | People must have agreed to authority, because they are naturally equal, prior to education [Hume] |
21100 | The idea that society rests on consent or promises undermines obedience [Hume] |
20495 | We no more give 'tacit assent' to the state than a passenger carried on board a ship while asleep [Hume] |
21101 | The people would be amazed to learn that government arises from their consent [Hume] |
6703 | Poor people lack the knowledge or wealth to move to a different state [Hume] |
21102 | We all know that the history of property is founded on injustices [Hume] |