Теория множеств Цермело–Френкеля с $\varepsilon$-термами Гильберта

В работе изучается роль аксиомы функционирования на дедуктивную силу системы, получающейся из системы Цермело–Френкеля $ZF$ введением $\varepsilon$-термов с разрешением использовать их в схеме аксиом подстановки. Доказывается, что при наличии аксиомы фундирования введение $\varepsilon$-термов не расширяет класса теорем $ZF$, а в отсутствие аксиомы фундирования происходит расширение класса теорем $ZF$. Библ. 2 назв.