ZFC axioms

GPTKB entity