Всякая реализация R(T) системы аксиом Т устанавливает взаимно однозначное соответствие xi ri(xi) между элементами xi базовых множеств Mi и объектами ri реализаций Ri(Mi), базовых множеств. При этом отношения Ði(x1,…,xm) между элементами xi Mi, заданные в системе аксиом Т представляются или реализуются некоторыми отношениями Pi(ri,…, rm) между соответствующими объектами ri(xi).
Вывод 2.
Всякое утверждение А теории Т получается логическим заключением (выводом) и в реализации R(T) находится соответствующее отношение между объектами, отражающее утверждение А.