Вывод 4. Разница между абстрактной (формальной) системой аксиом с некоторой реализацией и содержательной системой аксиом состоит только в способе построения структуры

Разница между абстрактной (формальной) системой аксиом с некоторой реализацией и содержательной системой аксиом состоит только в способе построения структуры. Действительно, можно вначале построить абстрактную систему аксиом, а затем указать ее модель. Можно наоборот, вначале выбрать те свойства модели, которые определяют ее с точностью до изоморфизма, а затем эти свойства принять за аксиомы. Оба способа определяют две изоморфные структуры.