ZFC (with Axiom of Choice)

GPTKB entity