4 ideas
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |