Axiom of projective determinacy

From Free net encyclopedia