Syntax definition cgzi

Description: The Axiom of Infinity.

	Ref	Expression
Assertion	cgzi	$$class\mathrm{AxInf}$$