Вывод 3. Если систему аксиом Т и ее аксиоматическую теорию рассматривать как мыслимые или абстрактные объекты

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