display all the ideas for this combination of texts
4 ideas
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |