4 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
1757 | The Electra: she knows this man, but not that he is her brother [Eucleides, by Diog. Laertius] |
3028 | The chief good is unity, sometimes seen as prudence, or God, or intellect [Eucleides] |