Either two numbers are equal, or they're not equal. (Unless we're calling into question the law of excluded middle, but must we?)