Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы

Доказана равнонепротиворечивость теорий $Z^-$ и $ZF^-$, т.е. теорий Цермело и Цермело–Френкеля, из которых удалена аксиома степени. Строится интерпретация $ZF^-$ в $Z^-$ через посредство специальной промежуточной теории. Библ. 4 назв.