Date: Mar 25, 2013 5:06 PM
Author: fom
Subject: Re: WMytheology § 224

On 3/25/2013 3:54 PM, Virgil wrote:
> In article
> <0cfd4ed1-7b87-4e27-9b98-9b0373586e4b@p5g2000yqj.googlegroups.com>,
> WM <mueckenh@rz.fh-augsburg.de> wrote:
>

>> On 24 Mrz., 23:10, Virgil <vir...@ligriv.com> wrote:
>>> In article
>>> <44b2ec5d-75ad-4123-a50d-d6e6362c9...@u7g2000yqg.googlegroups.com>,
>>>
>>> WM <mueck...@rz.fh-augsburg.de> wrote:

>>>> On 24 Mrz., 16:13, William Hughes <wpihug...@gmail.com> wrote:
>>>>> On Mar 24, 4:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>>>
>>> ZFC+FOPL? does no support WM's alleged proofs, whether by induction or
>>> any other method.

>>
>> What axioms are mis-applied?

>
> WM misapplies at least those axioms that, when correctly applied, prove
> that actually infinite sets exist in ZFC+FOPL, sets that can be
> injected into proper subsets of themselves, like the set of von Nuemann
> naturals.
>


Do not forget the axiom of union.

The union over a set, all of whose elements have been removed, is...