The Peano Postulates There exists a set N with 1 as an w element of z N and a function s: N- toN such that: * there is no n in N such that s(n)=1. *the function s is injective *Let G be a subset of N be a set. 1 is in G, g is in G, then s(g) is in G. Then G=N