Originally posted by Organic
Dont you see that by using ZF axiom of infinity on the power value of 2^x, x=aleph0 by standard math notation?
This is very much abusing the idea of the axiom of infinity, which is i think equivalent to the existence of an inductive set. And it is also wrong.
You cannot induct on n to deduce things about aleph-0. This requires transfinite induction when we put ordinals in rather than cardinals. Which stats that for every successor ordinal... etc. You don't demonstrate the the veracity of the statement for all n implies it for the first infinite ordinal. And it isn't even clear what you are hoping to prove inductively.
Example:
let X be the 2 element set {0,1}
Take X(n) defined inductively by X(n) = X(n-1) \coproduct X, and X(1) = X
each X(n) is a finite set.
The limit, which i can define as the obvious filtered direct limit we will BY ABUSE OF NOTATION call X(aleph-0) is not finite, but by the axiom of induction as you want to use it, it must be! Just like you I am assigning a non-sensical meaning to aleph-0, unlike you I both define the induction and how to take the limit.
Go through your proof again, it is incorrect. It is seemingly the basis for your decision to develop your complementary logic - this boolean logic cna't deal with infinity stuff.
Why does it bother you that there is no largest number, that a list of the naturals will not terminate?
You say that one can not apply the word all to an infinite set. Let N be the set of Natural numbers. IN what way is it not complete? You can't just give a 'but it's not' answer, you must demonstrate that your assertions are meaningful by backing it up with evidence, or a proof or a definition. This is not philosophy.