Database
TG (TARSKI-GROTHENDIECK) SET THEORY
Inaccessibles
Weakly and strongly inaccessible cardinals
cina
Next ⟩
df-wina
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cina
Description:
The class of strong inaccessibles.
Ref
Expression
Assertion
cina
class
Inacc