3 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] |
11968 | The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan] |