On 8 Mrz., 22:47, Virgil <vir...@ligriv.com> wrote:
> > This is obviously the case for that line L_max which is identical with > > the maximal FIS of d: > > Since d does not have maximal FIS
L does not have a maximal line either in matheology.
> > 1, 2, 3, ..., max = 1, 2, 3, ..., max > > On the the left-hand side you see the line L_max or g, on the right- > > hand side you see d, i.e., everything that in potential infinity can > > be assumed to exist of lines and d. > > Nowhere outside WM's futile fiefdom of Wolkenmuekenheim is there a > natural with no successor natural nor a FIS of the set of naturals > without a successor FIS. > That holds for the lines and the FISs of d equally.