Date: Mar 22, 2013 4:07 PM
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