О метатеории множеств

Формулируется и мотивируется метатеория множеств, предназначенная для построения стандартной теории множеств. В метатеории оказались доказуемыми, в частности, схемы аксиом Леви, принцип Шенфилда и принцип рефлексии.