UNDECIDABLE STATEMENT
11 / 22
⊬
Axiom of Determinacy vs. Axiom of Choice
ZF Set Theory
The Axiom of Determinacy (every two-player game of perfect information on integers is determined) contradicts Choice. Both are consistent with ZF; neither is provable from ZF alone.
SIGNIFICANCE
Reveals that foundational axioms present genuine choices about which mathematics we inhabit.
Neither provable nor refutable · rotates daily