決定性公理(けっていせいこうり、axiom of determinacy)とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人完全情報ゲームについて(後述)、どちらかのプレイヤーは必ず必勝法を持つことを主張する。決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「を持つ」ことが従う。とくに実数の任意の部分集合が完全集合性を持つことは「実数の部分で非可算なる集合は実数と同じ濃度を持つ」とい......
決定性公理(けっていせいこうり、axiom of determinacy)とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人完全情報ゲームについて(後述)、どちらかのプレイヤーは必ず必勝法を持つことを主張する。決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合......