- 幂集公理
幂集公理
推论
幂集公理允许定义两个集合
和
的笛卡儿积：
。
笛卡儿积是个集合因为
。
你可以递归定义集合的任何有限的搜集的笛卡儿积：
。
注意笛卡儿积的存在性在不包含幂集公理的Kripke-Platek集合论中是可证明的。
相关百科
-
-
-
-
-
-
ZFC公理集合论系统
2025-04-22 07:29:58 查看详情 -
-
-
-
求购