论文部分内容阅读
互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论，这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合，而互逆主义只研究有意义的集合，这种排除悖论的方法与ZFC认为大全集不存在的方法不同。
互逆主义集合论排除了逻辑-数学悖论
【摘 要】
：
互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论，这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合，而互逆主义只
【机 构】
：
北京联合大学信息技术研究所
【出 处】
：
重庆工学院学报：社会科学版
【发表日期】
：
2008年8期
其他文献
患者男,17岁,于1997年8月无明显诱因出现双下肢浮肿,以右侧为重,无眼睑及颜面浮肿,1周后在普外科住院查血常规:白细胞10.8×109/L,中性0.81;尿常规:尿蛋白(),血浆白蛋
张说在继承前人革新文风的基础上，更加追求文章的风雅、风骨和实用性，推崇典重质实、华赡丰美、既济时适用又风骨雅健的文风。他在碑文墓志和书序等体裁的文章中，运散入骈，骈散间