Axiom of determinacy (AD)

Layer 0 — Mathematicsin the set-theory subtree

Every infinite game of perfect information on ω has a winning strategy. Contradicts AC; holds in L(ℝ) assuming Woodin cardinals.