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 <> 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.