Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of ZF
cgzi

Next ⟩ cgzf

Metamath Proof Explorer

Unicode
Structured

Syntax definition cgzi

Description: The Axiom of Infinity.

		Ref	Expression
	Assertion	cgzi	class AxInf