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.