一种处理集合论悖论的新方法
本文介绍了一种处理集合论悖论的新方法——弗协调集合论.本文首先以罗素悖论和等值悖论为代表,考察了处理悖论的已有方法ZF、NBG、NF、直觉主义;其次,从弗协调逻辑出发,分类概述了弗协调集合论的现状;最后,考察了弗协调集合论对罗素悖论和等值悖论的处理情况,证明弗协调集合论在处理集合论悖论方面是成功的.
罗素悖论、等值悖论、平凡性、弗协调集合论
B81(逻辑学(论理学))
国家社会科学基金16AZD036
2017-12-28(万方平台首次上网日期,不代表论文的发表时间)
共6页
93-98