4 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
15313 | By 'force' I mean the sources of all actions - sometimes called 'powers' by their outcomes [Breheny] |