3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
16627 | If you remove the accidents from a horse and a lion, the intellect can't tell them apart [Francis of Marchia] |