3 ideas
| 16005 | I recognise knowledge, but it is the truth by which I can live and die that really matters [Kierkegaard] |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| 18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |