What are the mutually independent fundamental properties of … which all others follow? … (1) The number Sequence N is a system … (2) … to each definite number n there corresponds a … [This defines a mapping \phi] … (3) Distinct numbers a and b are succeeded … (4) Not every number is a successor n' … (5) And, in particular, the number 1 is … [p. 101] an element n of S [all sequences] belongs to the sequence N if and only if n … the element 1 belongs to K and (ii) … … of all those chains K (in S) to … The famous method of proof by induction rests …
Google-1
Google-2
Copyright clearance needed for quotation.