Вывод 3

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