Теория множеств в бестиповых комбинаторно полных системах

Статья содержит результаты анализа $\mathscr{A}_0$-системы. Рассмотрены вопросы введения теоретико-множественных понятий в дедуктивные расширения исчисления $\lambda$-конверсии Чёрча.
Библиогр. 11.