level 6
等价于zorn引理...不是QE的一条状态吗...
2011年09月18日 14点09分
3
level 9
因为X是无限集
所以可以在X中定义一种运算&,使得任意两个元素a,b∈X,a&b∈X
然后让X^2-->X (a,b)-->a&b
所以X^2可以和X的一个子集一一对应
再让(a,b)-->a
所以X^2的一个子集可以和X一一对应
所以X^2和X等势
2011年09月19日 06点09分
10
level 8
大概就是考虑**A—A*A的一一映射全体所成的集...
然后半序化得到一个极大元吧
2011年09月20日 07点09分
16