Вывод 5

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

Требования, предъявляемые к системам аксиом