5 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8203 | All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine] |
8202 | Meaning is essence divorced from things and wedded to words [Quine] |
8201 | The distinction between meaning and further information is as vague as the essence/accident distinction [Quine] |