Re: Cantor Confusion

In article <1169545975.865624.242740@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
mueckenh@xxxxxxxxxxxxxxxxx wrote:

Virgil schrieb:

In article <1169396052.939963.194070@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
mueckenh@xxxxxxxxxxxxxxxxx wrote:

Virgil schrieb:


Therefore, by induction, all finite n-level trees for all n in N exist.
But that is all that standard induction allows one to conclude.

It is enough. Or should there one level be missing? Please specify
which remains to be included.

Anything that concludes anything about infinite trees.

Conclusions are not members or subsets of trees.

Standard induction does not justify your /conclusion/ that your
conjunction of finite trees is an infinite tree.

If you wish to justify such a conclusion, you must look elsewhere.
.