Date: Mar 21, 2013 3:39 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224
On 21 Mrz., 04:06, Virgil <vir...@ligriv.com> 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