Axiom of projective determinacy (source code)

= Axiom of projective determinacy
{wiki=Axiom_of_projective_determinacy}