罗素驳论

2018-09-14 05:32 来源:网络整理 网络编辑:admin 阅读 报错

整流器发明人坚信礼了一组S:S,它由所一些元素结合。。整流器发明人问:S属于S吗?粉底消弭MI法制,元素或集中,或许不属于一任一某一集中。。相应地,向事先调整的集中,问它可能的选择属于本身是权重的。。但就是这样似有理的成绩的答案将堕入窘境。。假如S属于S,粉底S的规定,S不属于S,反之亦然。,假如S不属于S,也因规定,S属于S。在稍微经济状况下,都是没有道理的。。

整流器发明人悖论打算后,数学家们想出了本身的清算条件。。普通平民的期望使变为康托尔的集中论。,经过对集中规定加以限度局限来消弭悖论,这需求新的初步。。这些初步必然的十足狭小的。,确保自己的事物没有道理消弭;在另一方面,必然的消弭,这样才能保养康托尔集中论中自己的事物重要的灵。。"处理这一悖论次要有两种选择,ZF格言系统 NBG格言系统。

1908年,策梅罗(Ernst ZelMelo在t的按照打算了优先格言化集中系统制度。,后头,格言系综系统做出成绩了康托尔的NaI缺陷。。就是这样格言系统被弗兰克尔(亚伯拉罕)采取。 弗兰克尔的改善高地ZF格言系统。。格言系统,鉴于归类的格言(格言) schema of 军旗):p(x)是x的一任一某一地产。,向稍微已知集中A,在一任一某一集中B使得对自己的事物元素x∈B当且仅当x∈A且P(x);相应地{x∣x是一任一某一集中}并不克不及在该系统中写成一任一某一集中,因它责任稍微已知集中的分岔,而且前进格言。,集中a= {x}x的在是一任一某一集中},它可以被宣布是没有道理的。,相应地整流器发明人悖论在该系统中被幸免了。

除ZF系统外。,集中论有很多地格言系统。,冯诺依曼(冯) 诺伊曼以及其他人。NBG系统等。。格言系统,组编集中的自己的事物集中都可以高地类(类)。,稍微集中也可以高地类。,但有些 collection太大了(比方一任一某一collection组编自己的事物集中)以至于不克不及是一任一某一集中,因而它最好的是一任一某一拿下。。这同一也幸免了整流器发明人悖论。

关键词:

分享到:
至顶 反馈 至底