«…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно» — Аристотель, «Метафизика»

«≡» — знак тождества, введённый немецким математиком Георгом Фридрихом Бернхардом Риманом в 1857 году Зачем столько имён? Или частей в одном имени? В имени “Георг Фридрих Бернхард Риман” много частей из-за немецкой традиции давать несколько личных имён при крещении. Георг (Georg) и Фридрих (Friedrich) — формальные имена, данные при крещении. Бернхард (Bernhard) — Rufname, то есть имя, которое он фактически использовал в жизни. На самом деле, в повседневной жизни учёного использовалось только одно из них. Поэтому в большинстве источников он известен как Бернхард Риман.

«Закон тождества: любая мысль должна оставаться неизменной в ходе рассуждения.»

Что-то тут не так. Мысль должна развиваться со временем. Делает она это несколькими способами: Во-первых, путём изменения значений понятий в неё входящих. Во-вторых, путём изменения связей между понятиями.

«Закон тождества (базовый принцип формальной логики, сформулированный Аристотелем) гласит, что любое понятие или суждение в процессе рассуждения должно оставаться неизменным по смыслу. Он выражается формулой A = A (всякий предмет есть то, что он есть) и требует ясности, точности и однозначности.»

«принцип постоянства, или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории)»
(а в чём разница между предметным значением и смысловым значением?)

Тут у нас появляется понятие „контекст”, вероятно „контекст понимания”, „концептный контекст”.