数学联邦政治世界观
超小超大

朴素集合论还有什么问题?

前提:朴素集合论认为任何语句P(x)都可以组成一个集合.

1) Curry Paradox

令X={x|x∈x → 0=1}.我们做出如下推理:

1.X={x|x∈x → 0=1}这个是X的定义

2.x=Ⅹ → (x∈x ↔ X∈X)这个是等价置换

3.x=X → ((x∈x → 0=1) ↔ (X∈X → 0=1)这个是2的弱化

4.X∈X ↔ (X∈X → 0=1)这个是X的定义

5.X∈X → (X∈X → 0=1)这个是4的半边

6.X∈X → 0=1这个是根据5以及 p → (p → q) ⊢ p → q

7.(X∈X → 0=1) → X∈X这个是4的另外一个半边

8.X∈X这个根据6和7得出

9.0=1 这个根据6和8得出.

2) Paradox of Grounded Sets:

称一个集合x为groundless, 当且仅当存在一系列的集合x₁,x₂,. . .,xₙ 使得 . . . ∈ xₙ₊₁ ∈ xₙ ∈ xₙ₋₁ ∈. . .∈ x₂ ∈ x₁ ∈ x.一个集合为grounded当且仅当它不为groundless. 我们令P(x)为"x is grounded", 并且考虑 y={x|P(x)}.

问题: y是不是一个grounded set?

如果是的话, 那么根据定义, y属于y. 所以 . . .∈y∈y∈. . . ∈y∈y 此时根据定义, y不是一个grounded set. 得到矛盾. 如果y不是grounded set, 则存在一系列的集合 y₁,y₂,. . .,yₙ 使得 . . .∈ yₙ₊₁ ∈yₙ ∈yₙ₋₁ ∈. . . ∈ y₂ ∈y₁ ∈y. 那么可得 y₁ 为groundless set. 但是根据定义, y只包含了grounded sets, 所以得到矛盾.

3) Paradox of Non-circular Sets:

对于任意自然数n, 称一个集合为n-circular, 当且仅当存在集合 x₁,x₂,. . .,xₙ₋₁,使得x ∈ xₙ₋₁ ∈ xₙ₋₂ ∈. . .∈x₂∈x₁∈x . 称一个集合x为circular, 当且仅当存在自然数n使得x为n-circular. 一个集合为non-circular当且仅当它不为circular. 令P(x)作"x is non-circular", 并且考虑 y={x|P(x)}

问题: y是不是non-circular set?

假设是: 则y∈y,所以y为1-circular. 得到矛盾

假设不是: 则y为circular, 所以存在集合y₁,y₂,. . .,yₙ₋₁ 使得 y∈yₙ₋₁ ∈ yₙ₋₂∈. . .∈y₂ ∈ y₁∈y .若n=1, 我们则有 y∈y,因为y只包含non-circular的集合, 所以得到矛盾. 若n>1, 我们则有 y₁∈y∈yₙ₋₁ ∈ yₙ₋₂ ∈. . .∈y₂ ∈ y₁ ∈y,所以 y₁ 为circular,并且 y₁ ∈ y . 这与y的定义矛盾.

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

金花图万事书 连载中
金花图万事书
镀金鸢尾
愿望不都是美好的坚定的感情不都是充满对肉身及财富地位的渴望的人不都是为满足自己的灵魂而活的——当然,这要看你怎么判断这几句话了,是犹带猜疑的......
1.3万字6个月前
异者…… 连载中
异者……
凌琳灬
在这宇宙中有七位神明,分别是水神,草神,掌管地狱的神明,掌管赤焰的神明,掌管公正的神明,还有那诡计之神,数据的神明。在这宇宙还没创造之前,却......
0.7万字2个月前
胡说,她才不是坏女人 连载中
胡说,她才不是坏女人
杜光连
江思雨从混沌中醒来就没有了记忆,是333带她来到了小世界中。系统333说只要让他的主人拥有了情欲,那江思雨就会恢复记忆,离开混沌,找回自由,......
7.2万字2个月前
快穿之小魅魔的幸福之旅 连载中
快穿之小魅魔的幸福之旅
星星爱太阳114
避雷:女主不洁、多cp、快节奏、纯纯爽文!!不虐女主!作为魅魔的卿妤,以爱欲为食,可因为意外招惹上神殿的人,被单独囚禁起来……她发誓早晚有一......
13.4万字2个月前
跨越千万次的人形之爱 连载中
跨越千万次的人形之爱
许墨迹墨迹
森林中的小鹿千万次幻化成少女,与少年阿宇邂逅、相恋。然而,变身带来的虚弱、小镇的误解、黑暗力量的觊觎接踵而至。面对命运的捉弄,他们能否凭借爱......
11.9万字1个月前
砚影池光 连载中
砚影池光
时珺3881882278
5.8万字3周前