> by denying the law of the excluded middle, e.g., NOT (a ≠ b) does not imply a = b
Ouch, that is where my brain starts hurting.
> by denying the law of the excluded middle, e.g., NOT (a ≠ b) does not imply a = b
Ouch, that is where my brain starts hurting.