Axiom of Real Determinacy

GPTKB entity