- #1
- 14,190
- 6,673
The Godel theorem shows that the standard Peano axiomatization or arithmetic is undecidable. However, there is an alternative Presburger's axiomatization of arithmetic, which is decidable.
Similarly, the standard ZFC axiomatization of set theory is undecidable. For instance, the continuum hypothesis is undecidable in ZFC. Is there an alternative axiomatization of set theory which is decidable?
Similarly, the standard ZFC axiomatization of set theory is undecidable. For instance, the continuum hypothesis is undecidable in ZFC. Is there an alternative axiomatization of set theory which is decidable?