Вывод 1. Всякая реализация R(T) системы аксиом Т устанавливает взаимно однозначное соответствие xi ri(xi) между элементами xi базовых множеств Mi и объектами ri

Всякая реализация R(T) системы аксиом Т устанавливает взаимно однозначное соответствие x_i r_i(x_i) между элементами x_i базовых множеств M_i и объектами r_i реализаций R_i(M_i), базовых множеств. При этом отношения Ð_i(x₁,…,x_m) между элементами x_i M_i, заданные в системе аксиом Т представляются или реализуются некоторыми отношениями P_i(r_i,…, r_m) между соответствующими объектами r_i(x_i).

Вывод 2.

Всякое утверждение А теории Т получается логическим заключением (выводом) и в реализации R(T) находится соответствующее отношение между объектами, отражающее утверждение А.