Что утверждается формулой A = A, которой обычно выражают закон тождества? Эта формула утверждает равенство A и A. Для равенства требуются по крайней мере две стороны. Одно A равно другому. В самом ли деле закон тождества хочет это выразить? Очевидно нет. Тождественное, по-латински "idem", по-гречески значит "to auto". В переводе на нашу немецкую речь "to auto" значит "das Selbe". Если некто говорит то же самое, например, "растение есть растение", он произносит тавтологию. При этом нечто может быть тем же самым, обходясь только одной стороной. Ему не нужна вторая, как в случае с равенством.
Формула A = A говорит о равенстве. Она не обозначает A как то же самое. Из этого следует хорошо известная формулировка закона тождества, точно раскрывающая то, что закон хотел бы выразить: A есть A, т. e. всякое A само есть то же самое.