Syntax definition cgzf

Description: The set of models of ZF.

	Ref	Expression
Assertion	cgzf	class ZF