I once asked a logic professor I'm friends with and he spent fifteen minutes ranting about large ordinals and reverse mathematics and non-absolute logics. Apparently there is some incredibly weird stuff at the fringes of logic that we only really know how to handle in ZFC.

This is purely secondhand, of course, and I forget almost all of the details. Contemporary set theory is scary scary stuff.