>>16695593 (OP)>>16695681Forgot to add that such a hypothetical is the worst case scenario, and mathematicians are generally unwilling to add any more structure to ZFC. People still study the CH because like I said, there's always the possibility of creating mathematical tools which are dependent on it.
This is where the weirdness comes in: even if such a tool were developed, the CH would most likely still not be resolved. This is because, in theory, there could always exist some modification of the original argument which negates the need to invoke the CH. A full resolution to the CH would only happen in the scenario when there's absolutely 0 possible or known modification to a proof which could remove the dependence on the extra axiom, in which case difficult philosophical questions will start to arise. This has actually happened before with the proof of Fermat's last theorem. Wiles original proof technically depended on the existence of large cardinal axioms, which made it independent of ZFC, it's just you can find a modification of his arguments which do not depend on large cardinal axioms. This does not make his original proof invalid. Here's an explanation:
>https://blog.computationalcomplexity.org/2014/01/fermats-last-theorem-and-large.html