Обсуждение:Задача Тарского по школьной алгебре

Почему тождество - тождество?

Мне кажется, следует уточнить, откуда же тогда это тождество выводится, если не из школьных аксиом. Доказать, короче говоря.) Написанное в английской статье по этому поводу мне пока совершенно непонятно. [ШагдашМар|Критика|Хроники] 19:56, 18 мая 2020 (UTC)