選択公理 - 数学wiki -mathematics-

選択公理（せんたくこうり、axiom of choice、選出公理）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。同値な命題証明が数学クラスタ内で熱い。

同値な命題

この節は執筆中です。