Axiom of Determinacy (AD)

• Incompatible with axiom of choice.
• Every infinite game of perfect information is determined.

$\forall A\subseteq {\omega }^{\omega }(\text{either Player I or Player II has a winning strategy in G(A)})$