12 ideas
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 22971 | In moving from capitalism to communism a revolutionary dictatorship of the proletariat is needed [Marx] |
| 22000 | From each according to his ability, to each according to his need [Marx] |
| 22969 | People who only have their labour power are the slaves of those permitting them to work [Marx] |
| 22970 | Freedom is making the state subordinate to its society [Marx] |
| 22972 | Bourgeois 'freedom of conscience' just tolerates all sorts of religious intolerance [Marx] |
| 15961 | I don't see how mere moving matter can lead to the bodies of men and animals, and especially their seeds [Boyle] |