決定性公理

3行要約

1. 特定の無限ゲームにおいて、必ずどちらかのプレイヤーに必勝戦略があるとする公理。
2. 選択公理と矛盾するため、標準的な集合論の外で研究されることが多い。
3. 実数の集合の性質を深く探る記述集合論において、重要な役割を果たす。