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