> > Lets see WM's statement of the inductive principle. > > One acceptable form is: > > There exists a set of objects, N, and a zero object such that > 1. Zero is one of the objects in N. > 2. Every object in N has a successor object in N. > 3. Zero is not the successor object of any object in N. > 4. If the successors of two objects in N are the same, > then the two original objects are the same. > 5. If a set contains Zero and the successor object of every > object in N, then that set contains N as a subset. >
So, you feel that this is a reasonably faithful representation of his statements?
Or, do you feel that this reflects his general use in terms of structure similar to the finite von Neumann ordinals?