Date: Jan 23, 2013 7:55 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: ZFC and God

On 23 Jan., 13:46, Aatu Koskensilta <aatu.koskensi...@uta.fi> wrote:
> WM <mueck...@rz.fh-augsburg.de> writes:
> > The union of FISs is finite. Yes that is my claim. But I cannot give
> > an upper limit, because the finite numbers have no upper limit. This
> > is called potentially infinite.

>
>   It's more accurately called rank nonsense. To say the union of all
> FISs is finite is to say there is a natural m such that n < m for all
> naturals n.


No. Finite is the counterpart of actually infinite, namley larger than
every finite number. Even if no upper threshold exists. Look into the
Binary Tree with all finite paths. It has all nodes, but no infinite
path.

Regards, WM