Date: Mar 21, 2013 3:33 AM
Subject: Re: Matheology § 224

On 21 Mrz., 03:49, fom <> wrote:

> If he were interested, he would do the hard
> work needed to learn some of the mathematics
> to which it all pertains.

You should try to learn the following:

If we can prove:
a) 1 is in M.
b) From n in M we can conclude that n+1 in M.
Then |N is a subset of M

If you learn to apply this simple foundation of actual infinity, then
you can prove that actual infinity is self-contradictory (and |N is
not completed).

Then you need no extended blathering about definitions and names and
different kinds of logic.

Regards, WM