- 173 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2025/01/12(日) 10:22:07.38 ID:gsEji7DN.net]
- >>160 補足
>”The union of any countable family of countable sets is countable (this requires countable choice but not the full axiom of choice).”
”any”の意味が、任意有限 countable なのか、あるいは 可算無限までを含むのか？
文全体の趣旨からすると、後者に読めるが（countable choiceにおける ”countable”の意味と解すれば）
まあ、en.wikipediaの書き手が、どこまで意図したのかだが？
出典がないので、なんとも言えない・・ ；ｐ）
