3 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
651 | Eurytus showed that numbers underlie things by making pictures of creatures out of pebbles [Eurytus, by Aristotle] |