Axiom of infinity

GPTKB entity