axiom of real determinacy

GPTKB entity