Date: Mar 25, 2013 6:25 PM
Author: fom
Subject: Re: Matheology § 224

On 3/25/2013 5:12 PM, Virgil wrote:

>
> 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?