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