Assuming that ZFC is consistent, the existence of strongly inaccessible cardinals provably cannot be proved in ZFC.
... | Leksand | LudvikaMalung | Mora | Orsa | Rättvik | Smedjebacken | Säter ...