概念ZFC系统 / 策梅洛-弗兰克尔集合论

ZFC

现代数学中最常用的公理化集合论系统，通过限制集合构造方式避免罗素悖论等逻辑矛盾

来源文章