互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论,这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合,而互逆主义只研究有意义的集合,这种排除悖论的方法与ZFC认为大全集不存在的方法不同。
.互逆主义集合论排除了逻辑-数学悖论[J].重庆工商大学学报(自然科学版),2008,(8): .[J]. Journal of Chongqing Technology and Business University(Natural Science Edition),2008,(8):