Вывод 1

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