Independence of the Axiom of Choice

GPTKB entity