3. ZF 集合论与 ZFC 集合论

我们给出一个特别的一阶理论, 它将被称作 ZF 集合论. 一般而言, 我们会认为这是数学的基础理论.