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.