Математика как иностранный. A2-3. Равенство.

Поговорим о простейшей формальной теории - теории равенства. Сопутствующая терминология: - нормальные модели - полные теории - элементарно эквивалентные модели - элементарные подмодели - изоморфизм моделей - представимость (выразимость) предикатов в языке сигнатуры