 There are some logic systems that do not have any notion of equality.This reflects the undecidability of the equality of two real numbers defined by formulas involving the integers, the basic arithmetic operations, the logarithm and the exponential function.In other words, there cannot exist any algorithm for deciding such an equality.