4 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
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] |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |