phoenixthoth
- 1,600
- 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?
Conversion of Set Theory Problems to other fields
- Context: Graduate
- Thread starter phoenixthoth
- Start date
-
- Tags
- Fields Set Set theory Theory
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
Discussion
- 14,922
- 28
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.
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
- 1,600
- 2
Thanks, I'll look into that. 