Complex sentence: 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.
Split into simpler sentences: 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.