Date: Apr 6, 2013 5:57 AM
Author: fom
Subject: Re: Matheology § 224

On 4/6/2013 4:42 AM, WM wrote:
> On 5 Apr., 23:50, William Hughes <wpihug...@gmail.com> wrote:
>

>> Then G has an infinite number of
>> elements, but you cannot name a single element of G.-

>
> In D\E we have another situation. If someone claims that D\E contains
> an element e, then we can prove that it is not an element of D\E by
> induction, since E is an inductive set. This makes D\E being the empty
> set.


So, WM thinks that finite sets are inductive sets.

WM has thought without consulting definitions,
as usual.