The axiom of infinity