항상 참, 절대 참이 아님

때로는 x항이 서로 소거됩니다. x + 1 < x + 2에서는 양변에서 x를 뺍니다. 남는 것은 1 < 2이며, 그 안에는 x가 없습니다. 1 < 2라는 명제는 참이고, x가 어떤 값을 가지든 참으로 유지됩니다. 따라서 모든 수가 해입니다. 해집합은 모든 실수입니다.

x > x + 1에서는 양변에서 x를 뺍니다. 남는 것은 0 > 1이며, 이는 x가 어떤 값을 가지든 거짓입니다. 따라서 어떤 수도 해가 아닙니다.

x항들이 소거되면 남은 식을 살펴보세요. 그것이 참이면 모든 수가 해입니다. 거짓이면 어떤 수도 해가 아닙니다. 어느 결과도 여러분이 실수했다는 뜻은 아닙니다. 어떤 수든 항상 자기 자신에 1을 더한 수보다 작고, 자기 자신에 1을 더한 수보다 클 수는 없습니다.