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.