All Questions

There are a number of informal heuristic arguments for the consistency of ZFC, enough that I am happy enough to believe that ZFC is consistent. This is true for even some of the more tame large ...

An open problem in algebraic topology is whether arbitrary cohomological localizations of simplicial sets (or, equivalently, topological spaces) can be proven to exist in ZFC. It's provable in ZFC ...