怎么使用ZFC公理系统证明卡氏积为集合？ 希望通过幂集公理和分离公理来证明 呃，两集合A与B的卡氏集是其并集的幂集的幂集（设为C）的一个子集（设为D），满足，任一集是D的元素当且仅当，它含两个元素，其中一个。
HoTT 有实力取代 ZFC 成为新的数学基础吗？ (这个答案同时也是对下面这个问题的回答)集合论为什么被称为数学的基础？我们并没有一个明确的\"数学…
选择公理在什么情况下使用？ 现代数学普遍采用的集合论公理体系是 ZFC，它由 Zermelo-Fraenkel 集论公理（ZF）加上选择公理（AC）构成…
请问公理集合论是如何解决罗素悖论的？
ZFC公理系统可以直接推导出集合的结合律、分配律之类吗？ 还是说其实无意间运用了形式逻辑系统的公理？如果可以，请给出用若干条ZFC公理逐步证明的过程，谢谢p.s.
