УДК 510.622

Об одной аксиоме исчисления предикатов из книги Р. Шмульяна ``Теоремы Геделя о неполноте'' /Акимов А.А. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. C. 60-62.

Библиогр. 2.