display all the ideas for this combination of texts
4 ideas
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
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] |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |