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

Next ⟩ cgzu

Metamath Proof Explorer

Ascii
Structured

Syntax definition cgzp

Description: The Axiom of Power Sets.

		Ref	Expression
	Assertion	cgzp	class AxPow