axiom of ZFC

GPTKB entity