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

Next ⟩ cgzi

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cgzg

Description: The Axiom of Regularity.

		Ref	Expression
	Assertion	cgzg	$class AxReg$