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

On 21 Mrz., 04:06, Virgil <> wrote:

> For any natural n in |N, we can know that n lines fail, but we can also
> know that any infinite set of lines succeeds.

No. You are so blinded by what you have learned that you think you
knew that. But if you applied induction to the set M of unnecessary
lines, you could find the contrary.

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).

Regards, WM