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?