FANDOM


選択公理 (Axiom of choice) とは、どれも空でないような集合を要素とする集合に対して、それぞれの集合から一つずつ要素を選び出して新しい集合を作ることができるという公理である[1]

同値な命題

選択公理と同値な様々な命題がある[2]

出典

  1. Axiom of Choice - MathWorld
  2. 選択公理と同値な命題とその証明