Axiom of Determinacy

GPTKB entity