  加载中…

加载中...  李恒星_释永思
• 博客等级：  • 博客积分：0
• 博客访问：32,004
• 关注人气：67
• 获赠金笔：0支
• 赠出金笔：0支
• 荣誉徽章： 加载中…

杂谈

=======================================================

Solve the paradox of set theory V7.5
by LiJunYu 2010.12.25 email: myvbvc@tom.com or 165442523@qq.com
Brief:All power sets of real number set R:P(R),P(P(R)),P(P(P(R))),...,Pn(R),...Because all Pn(R) does not contain its own,in Russell's paradox,"all sets which does not contain its own" must contain all Pn(R),that is to say,it contains all of the cardinality of generalized continuum hypothesis {X0,X1,...Xn...},so became meaningless.
Although I know that axiomatic set theory is to solve the paradox arising from, but I think the axiom of set theory in the detours, and even strayed into the manifold road. If the theory does not contain the following, I think <<set theory>> is incomplete.
Generalized continuum hypothesis: the cardinality of an infinite set must be one of X0, X1, ... Xn ....
Where X is the Greece character aleph, because I can not find the character, so the letter X was expressed in English.
Meaningless axioms: If the cardinality of an infinite set is limit limXn (n-->infinite), then this set is meaningless.
I can not find the sign expressed infinite in english computer,so I use the character "infinite".
This axiom is my introduction, I have not seen elsewhere.
This axiom is easy to understand, it is equivalent to axiomatic set theory in the concept of the true class, but after the introduction of the concept of this class of axiomatic set ,the theory straying into the manifold road, at least I think so.
LiJunYu first theorem: If a set contains all of the cardinality of generalized continuum hypothesis , that is the set {X0,X1,...Xn...},the cardinality of this set is limXn (n-->infinite)
This theorem is obvious, by reduction to absurdity is not difficult to prove.
LiJunYu second theorem: If an infinite set also contains its own power set, that is the set A={......,P(A)),then the cardinality of this set A is limXn (n-->infinite)
Proof: Let the cardinality of infinite sets A is Xn, n be fixed. Because they contain an infinite set A subset or all of its power set, while the power set of the cardinality is X (n +1) = 2 ^ Xn, Therefore, the cardinality becomes X (n +1), which assumes an infinite set A, the original cardinality is Xn, n is a constant contradiction,antinomy, so the cardinality of infinite sets A is limXn (n-->infinite).
LiJunYu third theorem: If a set contains all power set of an infinite set , that is the set B={P(A),P(P(A)),P(P(P(A))),...,Pn(A),...} ,then the cardinality of this set B is limXn (n-->infinite),for example,the real number set R,B={P(R),P1(R),P2(R),...,Pn(R),...},then the cardinality of this set B is limXn (n-->infinite).
All the power set, assuming infinite set A, then the power set P (A), power set of the power set P (P (A)), the power set of the power set of the power set P (P (P (A))), ... Pn (A )..... as all of its power set.
Because all power set of infinite set is the cardinality of the generalized continuum hypothesis in all of the cardinality, so by the LiJunYu first theorem know this theorem.
LiJunYu fourth Theorem: If the set P'n(A) have the same cardinality with the power set Pn(A), that is, then the set P'n(A) equivalent to the power set Pn(A) for LiJunYu second and LiJunYu third theorem.
Theorem 1: The set of all sets of the cardinality is limXn (n-->infinite).
The obvious, that in the "<set theory>> has long been, here repeat it. Because the set of all sets contains its own power set,by the LiJunYu second theorem the cardinality is limXn (n-->infinite). So this set is referred to as the true class of axiomatic set theory.
LiJunYu Fifth Theorem: If the set A does not contain its own,then the power set of A is P(A),it is also not contain its own.
Proof: by contradiction. To assume that any one does not contain its own set of is A, assume that power sets of set A is B=P(A),if B is the set that contains itself, then there is a element B in the set B which contain its own, and also there is a element B of a element B in the set B which contain its own, the element of B is subset of A,the element of subset of A is the same element to the element of A,so the element of A is B, by the LiJunYu second theorem the cardinality is limXn (n-->infinite). A is a proper class.That is not true.

This is understandable, for example, the set {1,2,3} does not contain itself, then its elements and its power set and all subsets, also does not contain itself, it is very easy to understand, but extended to an infinite set to it. Then real number set R does not contain its own , then any child set and power set of R does not contain itself.
Theorem 2: If the set B is all sets which does not contain its own,the cardinality of B is limXn (n-->infinite).
Proof: because the real numbers set R is not contain its own ,by LiJunYu Fifth theorems ,so all power set of R is not contain its own, that is, the power set of R is R1, the power set of the power set of R is R2, the power set of the power set of the power set of R is R3. . . . ALL the power set Rn does not contain itself, then All the set does not contain its own ,that is the set B,containing all the power set of R, by the theorem of LiJunYu third,the cardinality so is limXn (n-->infinite).That is set B contain {P(R),P1(R),P2(R),...,Pn(R),...}.
So Russell's paradox in "All sets which do not contain its own set ",the cardinality of this set is limXn (n-->infinite), in axiomatic set theory call as the true class.
Theorem 3: Any ordinal number set has a minimum order, so any ordinal number set on less than or equal relations are well-ordered set.
Theorem 3 is the <<Set Theory>> there's theorem, so there need not be proved.
LiJunYu sixth Theorem: Any set of ordinals ,its power set is also ordinal number .
Proof: for any ordinal number of set subset is ordinal set, so by Theorem 3 knowing subset is also a well-ordering set ,so the subset is an ordinal number, then all subsets of the power set is ordinal number of the set, by Theorem 3 know that this power set is well-ordered set, so this power set is a ordinal number.
Theorem 4: The cardinality of the set of all ordinals is limXn (n-->infinite).
Proof: Let all order number of the set named A, by the LiJunYu sixth theorem, this set A power set is ordinal, it should also be included in the set A, then the set A contains its own power set ,by LiJunYu second theorem ,The cardinality of this set is limXn (n-->infinite).

The problem of the cardinality paradox is "a set of all sets", the problem of Ordinal number paradox is "the set of all ordinals," the problem of Russell's paradox is "All the set does not contain its own." Because according to the above shows that this the cardinality of the three sets are limXn (n-->infinite). then this is meaningless three sets, so the paradoxes of set theory did not shake the existing science cardinality.
Axiomatic set theory that the introduction of the concept of class is correct, but then the issue is to complicate the simple, I solve the paradoxes of set theory with the most simple language to understand them, abandoned the scientific axiom of set theory , meaning is very important.
****IV. The following in-depth discussion of the nature of some of the set
Proposition I: All the set which does not contain its own power set is proper class? Yes.
Because all power set of the real numbers R does not contain its own power set . So all the set which does not contain its own power set must contain all power set of real numbers R , by the third theorem of LiJunYu knowing it is proper class. Why do all power set of the real numbers R does not contain its own power set, because assumption any power set Rn contains its own power set , by knowing LiJunYu second theorem it is proper class, which have a fixed Xn Rn, contradictory.
Proposition II: all the set which do not contain number 1 is proper class? Yes.
Because the power set which do not contain number 1 is also a set which do not contain number 1, it is not difficult to prove by contradiction, because it does not element 1, so its power set and can not contain element 1. So all of its power set does not contain elements 1. Assuming the real number set R after removing a number of set is named r, then the power set of all r is r1, r2, ... rn, ... all does not contain element 1, the third by the theorem of LiJunYu knowing it is proper class.
Proposition III: all the set which do contain number 1 is proper class? Yes.
Because the power set of real number set R must contain elements of {1}, after removing the brackets is the element 1, the power set which remove parentheses is one by one corresponding the power set of the original, only {1} into 1, so the brackets removed power set is same cardinality with the original set , which is the same cardinality, the same token, all the power set of real numbers R, exists corresponding same cardinality power set,which contains element 1, by the theorem of LiJunYu fourth and third theorems know it is proper class .
Then all the set which do not contain number 1 really meaningless it? Not. This is the problem of the complete works . If the set is a set of a fixed cardinality Xn, all within this subset of complete works and then discuss all the set does not contain 1, which makes sense, is not proper class. If the set is a set of proper class of all sets, the cardinality is limXn (n-->infinite), then the will be proper class . That is, any of "the set of all sets" made into a limited number count of subset , there must be one subset l is the proper class. On Russell's Paradox, "a set of all do not contain themselves", also because it's complete works is a set of all sets, will be meaningless, if it is within a set which has fixed cardinality Xn, then meaningful carry on.

0

• 评论加载中，请稍候... 发评论

以上网友发言只代表其个人观点，不代表新浪网的观点或立场。

新浪BLOG意见反馈留言板　欢迎批评指正

新浪公司 版权所有