Assuming that ZFC is consistent, the existence of strongly inaccessible cardinals provably cannot be proved in ZFC.
... Contents Ludvika Ludvika is a municipality in central Sweden, in the county of Dalarna. The municipality covers an area of 1500.7 km². Of the total ...