Metamath Proof Explorer


Syntax definition cgzi

Description: The Axiom of Infinity.

Ref Expression
Assertion cgzi
class AxInf