- 689 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:55:28.87 ID:YbwQeVvS.net]
- スレッド主へ
選択公理
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
「選択公理（せんたくこうり、英: axiom of choice）とは公理的集合論における公理のひとつで、
どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、
それぞれの集合から一つずつ元を選び出して新しい集合を作ることができる
というものである。
1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた。」
