State/Axiom of Infinity 1