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.