Please carefully observe the following unbounded (endlessly growing)
2-valued logical tree.
It is easy to encode its branches in order to represent the set of natural numbers.
Now, zooterkin, please prove that this unbounded (
endlessly growing) 2-valued logical tree can be defined by fixed values (as done by traditional mathematics according to the notion of transfinite cardinality).
Before you reply, please be aware that the fixed cardinal 2
ℵ0 (known as a fixed measurement value of an uncountable set) can't be defined, if you can't logically prove that ℵ
0 (the cardinal of the set of natural numbers, according to traditional mathematics) is a fixed value.
Also please be aware that an equation like ℵ
0+1=ℵ
0 contradicts the fact that we are dealing with an unbounded (
endlessly growing)
2-valued logical tree (the notion of
weak limit cardinal is arbitrarily defined, since it is not supported by the fact that the
2-valued logical tree is an unbounded (
endlessly growing) mathematical structure).
In other words, if ℵ
0 is defined as a fixed value, it logically can't be used as a measurement of an unbounded (
endlessly growing) mathematical structure like
2-valued logical tree.