10.3969/j.issn.1674-8425.2008.08.008
互逆主义集合论排除了逻辑-数学悖论
互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论,这种方法比类型论简洁.互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合,而互逆主义只研究有意义的集合,这种排除悖论的方法与ZFC认为大全集不存在的方法不同.
互逆主义集合论、逻辑-数学悖论、排除悖论、罗素悖论、布拉里-弗蒂悖论、康脱尔悖论
22
B81(逻辑学(论理学))
2008-12-15(万方平台首次上网日期,不代表论文的发表时间)
共3页
21-23