Syntax definition cgzf

Description: The set of models of ZF.

	Ref	Expression
Assertion	cgzf	$$class\mathbf{ZF}$$