3 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |