> Нет, это не равно по определению, но это можно доказать, из аксиом Пеано вывести.

Математика - это полностью искусственный язык.
Как там называть все извраты в нем - без разницы.
Сама математика определяет что такое "2", "х", "4" и "=" и соответственно - по определению.