選択公理の言い換え

命題 3.2（「選択公理と Zorn の補題」§3）・ ✓公理まで証明済み

選択公理から次が従う。

全射 $p : X \to Y$ には右逆写像、すなわち $s : Y \to X$ で $p \circ s = \mathrm{id}_Y$ となるものが存在する。
互いに素な空でない集合の族 $\{A_i\}_{i \in I}$ に対し、各 $A_i$ とちょうど 1 点で交わる集合 $T \subseteq \bigcup_i A_i$ が存在する。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

証明で明示的に参照している定理は、まだありません。