display all the ideas for this combination of texts
3 ideas
8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |