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