4 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |