Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I read on Ax's article that the elementary theory of finite fields is decidable if one assumes the continuum hypothesis to be true. What about if one assumes the hypothesis to be false?
