peano's principles

Giuseppe Peano (1858-1932) was an Italian mathemetician who condensed the basis of arithmetic and natural numbers to 5 postulates, known as Peano's Postulates. Philosophers such as Frege, Russell and Whitehead later attempted to derive them from logical truths, proving the empiracist notion that arithmetic is analytic.

1) 1 is a number

2) The successor of any number is a number

3) No two numbers have the same successor

4) 1 is not the successor of any number

5) If P has a property pssessed by 1 and such that a number has P only if its successor has it, then every number has P

 

adapted from Bruce Aune's Rationalism, Empiricism, and Pragmatism: An Introduction
Random House c 1970