3 ideas
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] |
1422 | God's existence is either necessary or impossible, and no one has shown that the concept of God is contradictory [Malcolm] |