Спасибо за исчерпывающий ответ!
А такой вариант будет понятен алгебраистам?
Пусть существует изоморфизм группы
в группу действительных чисел.
С точки зрения алгебры это две изоморфные группы, которые можно не различать.
Но если считать, что группа действительных чисел является моделью группы
,
то различие между группами может быть существенным. В группе
правило суммирования не определено в явном виде,
а в группе действительных чисел задано в явном виде. Следовательно модель может быть не адекватна оригиналу.