СоркинЮ. И., “Независимые системы аксиом, определяющие структуру”, Ukr. Mat. Zhurn., vol. 3, no. 1, pp. 85-97, Jan. 1951.