康脱尔悖论相关硕士博士期刊学术论文

互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论，这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱......