>>154 追加

見つけてしまった ；ｐ）

下記
”The union of any countable family of countable sets is countable (this requires countable choice but not the full axiom of choice).”
だってさｗ

そうすると
命題「可算個の可算集合の和集合は可算集合」を可算和定理という．可算和定理は選択公理が無ければ証明できない．
　↓
命題「可算個の可算集合の和集合は可算集合」を可算和定理という．可算和定理は可算選択公理が無ければ証明できない．
かもしれない（en.wikipediaが絶対正しい保証はないから）

(参考)
https://en.wikipedia.org/wiki/Axiom_of_choice
Axiom of choice
Results requiring AC (or weaker forms) but weaker than it
・Set theory
・The union of any countable family of countable sets is countable (this requires countable choice but not the full axiom of choice).
（google訳）
AC（またはより弱い形式）を必要とするが、それよりも弱い結果
・集合論
・可算集合の任意の可算族の和集合は可算です (これには可算な選択が必要ですが、選択公理の完全版は必要ありません)。