# Conversion of Set Theory Problems to other fields

1. Nov 19, 2009

### 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?

2. Nov 19, 2009

### Hurkyl

Staff Emeritus
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.

3. Nov 19, 2009

### phoenixthoth

Thanks, I'll look into that.