# 基数可比定理　`thm.cardinal-comparable`
基数可比定理（需要选择公理）
layer 10 · 定理 · 基数与等势 · 集合论
[在星图里打开](../#n=thm.cardinal-comparable)　·　[节点索引](../index.md)

在**选择公理**下：对任意两个集合 $A$、$B$，必有
> 陈述续见 [nodes/thm.cardinal-comparable.2.md](./thm.cardinal-comparable.2.md)


## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/thm.cardinal-comparable.4.md](./thm.cardinal-comparable.4.md)

## English abstract · **draft** · machine-drafted, pending author review; Chinese is authoritative
> English abstract 续见 [nodes/thm.cardinal-comparable.3.md](./thm.cardinal-comparable.3.md)

refs: Jech, The Axiom of Choice, Ch. 3

外部：Wikipedia https://en.wikipedia.org/wiki/Cardinal_number · nLab https://ncatlab.org/nlab/show/cardinal+number

> 说明见 `notes/thm.cardinal-comparable.md`

引用：`thm.cardinal-comparable`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)