Pero el axioma primero dice que uno es distinto de cero, por lo que sólo queda la opción de que 1 sea mayor que cero