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.
Strongly inaccessible cardinals are therefore a type of large cardinal. Assuming that ZFC is consistent, the existence of strongly inaccessible cardinals provably cannot be proved in ZFC.
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.
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.