He sketched a program for proving the consistency of Zermelo–Fraenkel set theory using ultrafinitistic techniques in (Ésénine-Volpine 1961), (Yessenin-Volpin 1970) and (Yessenin-Volpin 1981).
Ним зроблено Він описав план для доказу несуперечності теорії множин Цермело-Френкеля з використанням методів ультрафінітизму в (Ésénine-Volpine, 1961), (Yessenin-Volpin, 1970) і (Yessenin-Volpin, 1981).