- 789 名前：数ある
かつ、数学的帰納法とも関連している
選択公理＝選択関数 と短絡的に考えるべきではない
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
現在一般的に使われている集合の公理系は以下の ZFC である。
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理と等価な命題
整列可能定理
ツォルンの補題
比較可能定理 任意の集合の濃度は比較可能である。
ベクトル空間における基底の存在 全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。
チコノフの定理 コンパクト空間の任意個の積空間はコンパクトになる。 [] - [ここ壊れてます]
