- #1
phoenixthoth
- 1,605
- 2
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?