Conversion of Set Theory Problems to other fields

[phoenixthoth]

Is there a way to prove axioms are consistent and/or independent by converting the problem of consistency/independence to another field, such as algebra?

 

[Hurkyl]

Sure.

You don't even have to go to other fields -- e.g. ZFC + any large cardinal axiom is strong enough to prove ZFC consistent.

 

[phoenixthoth]

Thanks, I'll look into that.