Nuestra hipótesis fue que uno era menor que cero y, luego de ciertos pasos lógicos correctos usando los axiomas, concluimos que uno era mayor que cero, lo cual claramente no puede ser cierto, ya que por la ley de tricotomía, dos números reales deben cumplir una y sólo una de las siguientes relaciones