集合论系统

分类包含 11 篇文章

子分类： 无

冯诺伊曼-博内斯-哥德尔集合论

朴素集合论

正集合论

可替代的集合论

粗集合

半集合

描述集合论

策梅洛集合论

公理化集合论

新基础集合论