State/Axiom of infinity 1