決定性公理

決定性公理（けっていせいこうり、英: axiom of determinacy、AD と略される）とは、1962年にヤン・ミシェルスキー、フーゴ・シュタインハウスによって提案された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人位相的な完全情報ゲームについて（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する。