The set N is inductively defined by
0 in N, forall x in N: x' in N
Every element of N is of the form
0'...',