Como sabemos que la afirmación ""'1 es menor que cero"" es falsa, debiéramos llegar a una contradicción.