西西河

主题:读读郎教授 -- 跳楼跳三年

共:💬1100 🌺6534 🌵17
全看分页树展 · 主题 跟帖
家园 当然是解决了这个悖论

罗素悖论的本质在于康托尔集合概念没有明确化,使得包含自身蕴含于集合的定义之中。可以采用对集合精确定义,例如分为集合、类等,但这不是解决问题的有效办法,ZF系统只是给出了另一种更有效的公理化的办法,集合和属于作为未定义的初始符号。罗素悖论当然是解决了的,否则ZF根本就没有存在的必要。哥德尔定理指出完备和相容的问题,也许ZF里面蕴含其他未发现的矛盾,特别是加上选择公理AC,构成ZFC的系统。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河