14 ideas
| 17818 | How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau] |
| 17822 | Nothing is 'intrinsically' numbered [Yourgrau] |
| 3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
| 13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
| 18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
| 17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
| 5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
| 15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
| 17817 | Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau] |
| 17815 | We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau] |
| 17821 | You can ask all sorts of numerical questions about any one given set [Yourgrau] |
| 17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
| 22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
| 5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |