3 ideas
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
5954 | All inventions of the mind aim at pleasure, and those that don't are worthless [Metrodorus of Lamp., by Plutarch] |