- #1
ad infinitum
- 17
- 1
Is the statement -1<1/0<1 decidable using the ordered field/real number axioms and first order logic? I have tried to prove that the statement is either true or false but have had no success since the axioms and theorems only make statements about objects that exist and do not give any clear way to treat those that do not. So I would like to know if it is even possible to prove that the statement is true or false or if it is fundamentally undecidable in the given system. Or alternatively is it possible to derive a contradiction regardless of whether the statement is true or false a la the liar paradox.