报告人:姚博凯(北京大学哲学系) 题目:什么是无素集合论? 时间:2023/10/24 15:10-18:00 地点:地学楼108 摘要:ZFC集合论中一切皆是集合。如果在ZFC中引入非集合的元素, 即无素(urelements), 会发生什么?一个包含无素的集合论宇宙应当遵循哪些公理?无素与这些公理之间如何关联?选择公理又在之中扮演什么角色?在这次报告中,我将通过介绍无素集合论中的基本概念和方法来探讨这些问题。