Date: Mar 22, 2013 4:07 PM
Author: fom
Subject: Re: Matheology § 224

On 3/22/2013 2:40 PM, WM wrote:
> On 22 Mrz., 20:34, Virgil <vir...@ligriv.com> wrote:
>>
>>> Singletons are subject to induction.
>>> Take the union of all singletons that are subject to my proof.
>>> If something remained, what could that be?

>>
>> So that WM claims that when nothing remains he still has evereything?

>
> If actual infinity is true, then this would be the case. Now try to
> figure out what follows from (A ==> B) & ~B.



That would depend on the axiom system
of a given logic.

You have provided no definitions on
such matters even though you have been
repeatedly asked.