Axiom of choice

GPTKB entity