24 ideas
| 4748 | Anselm of Canterbury identified truth with God [Anselm, by Engel] |
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| 13536 | Skolem did not believe in the existence of uncountable sets [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] |
| 7127 | If men are good you should keep promises, but they aren't, so you needn't [Machiavelli] |
| 6309 | The principle foundations of all states are good laws and good armies [Machiavelli] |
| 6306 | People are vengeful, so be generous to them, or destroy them [Machiavelli] |
| 6305 | To retain a conquered state, wipe out the ruling family, and preserve everything else [Machiavelli] |
| 6308 | A sensible conqueror does all his harmful deeds immediately, because people soon forget [Machiavelli] |
| 6307 | A desire to conquer, and men who do it, are always praised, or not blamed [Machiavelli] |
| 7486 | Machiavelli emancipated politics from religion [Machiavelli, by Watson] |
| 19813 | All legislators invoke God in support of extraordinary laws, because their justification is not obvious [Machiavelli] |
| 7126 | Rulers should preserve the foundations of religion, to ensure good behaviour and unity [Machiavelli] |
| 21241 | Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm] |
| 21243 | An existing thing is even greater if its non-existence is inconceivable [Anselm] |
| 21244 | Conceiving a greater being than God leads to absurdity [Anselm] |
| 21242 | If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm] |
| 1421 | A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm] |
| 21245 | The word 'God' can be denied, but understanding shows God must exist [Anselm] |
| 21246 | Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm] |
| 21247 | Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm] |
| 1420 | Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm] |