countable axiom of choice

GPTKB entity