Database
TG (TARSKI-GROTHENDIECK) SET THEORY
Inaccessibles
Weakly and strongly inaccessible cardinals
cwina

Next ⟩ cina

Metamath Proof Explorer

Ascii
Structured

Syntax definition cwina

Description: The class of weak inaccessibles.

		Ref	Expression
	Assertion	cwina	class Inacc_w