Вывод 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).