| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
In other words
Assuming that ZFC is consistent, the existence of strongly inaccessible cardinals provably cannot be proved in ZFC. Strongly inaccessible cardinals are therefore a type of large cardinal.
Under the Generalized Continuum Hypothesis, a cardinal is strongly inaccessible if and only if it is weakly inaccessible.
The assumption of the existence of a strongly inaccessible cardinal is sometimes applied in the form of the assumption that one can work inside a Grothendieck universe, the two ideas being intimately connected
Set theory