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