as the successor of
. In virtue of (5) this gives a definition of the sum of
and
, whatever number
may be. Similarly we can define the product of any two numbers. The reader can easily convince himself that any ordinary elementary proposition of arithmetic can be proved by means of our five premisses, and if he has any difficulty he can find the proof in Peano.