Основы новой аксиоматической теории множеств

Представлена новая аксиоматическая теория множеств, состоящая из четырех аксиом. В этой теории выводимы в качестве теорем все аксиомы системы Цермело–Френкеля с аксиомой выбора ZFC за исключением аксиомы регулярности.