讲义讨论: 集合论/ZFC 公理

选择公理那里是不是应该说 S 是一个集组

选择公理是不是应该说 S 是一个集组, 也即必须要求 S 中的元素必须是集合 (或者是类也行)

1.	在 ZFC 中, 所有集合与真类的元素都是集合, 无需特别说明. “集组” 这个词没有意义.
2.	选择公理不能对真类使用, 这叫做 “全局选择”, 比选择公理强

是不是应该先讲下一阶逻辑)

要不然怎么叫从零开始 (

你说的对, 我这就创建一个页面, 不过唯一的问题在于我也不是很懂

我觉得至少必须说明集合是原始 (即没有定义) 的对象, $=$ 和 $\in$ 是原始的两种关系, 不然各种记号会使读者非常疑惑.