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