Вывод 5
Всякая аксиоматическая структура 
T,Ð;М
определена с точностью до изоморфизма. Это означает, что любая ее изоморфная модель 
T;P;R(M)рассматривается как совокупность тех и только тех свойств, которые выводятся логическим путем в теории 
.
Всякая аксиоматическая структура T,Ð;Мопределена с точностью до изоморфизма. Это означает, что любая ее изоморфная модель T;P;R(M)рассматривается как совокупность тех и только тех свойств, которые выводятся логическим путем в теории .