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.(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Decidability of -1<1/0<1 using the ordered field axioms and first order logic

**Physics Forums | Science Articles, Homework Help, Discussion**