17 ideas
| 16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
| 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] |
| 17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
| 16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
| 16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
| 16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
| 16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
| 16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
| 16020 | Identity can only be characterised in a second-order language [Noonan] |
| 16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
| 16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |