Date: Mar 11, 2013 7:51 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

On Mar 11, 10:40 pm, WM <> wrote:

> You will never succeed in proving that pot. inf. is
> the same as act. inf, since your unsurmountable obstacle is the
> requirement that all natural numbers have to be in the list, but
> cannot be in one line but must be in one line.

In the language of potential infinity, your famous

all the natural numbers are in the first column
but not in any line becomes

There is a fixed column, C_1, which is coFIS to
|N. There is no fixed line which is coFIS to |N

There is no problem with either statment.