4 ideas
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
3144 | Everything is what it is, and not another thing [Butler] |