On 25 Mrz., 21:09, Virgil <vir...@ligriv.com> wrote:
> > Why should any FISON be left? > > Every natural is in at least one FISON, so without at least one FISON > in that set of only FISONs there is nothing to contain ANY natuals.
That is so in potential infinity. There is no sequence that is larger than every FISON, but only for every FISON, there is a larger one. But in actual infinity, there is a sequence that is larger than every FISON. Of course this is solid nonsense, arrived at by quantifier reversal. But in effect every FISON fails to empty |N.