Eine Gleichung ist analog einer Behauptung. Sie entspricht der Behauptung, daß ein Ausdruck durch einen anderen ersetzt werden kann ohne den Sinn des Satzes zu ändern worin er vorkommt.