Здесь Мириманов (http://plato.stanford.edu/entries/paradoxes-contemporary-logic/#SetTheParCirSetOthMat) явным образом помог Цермело. Вообще, в самом начале имелось много неосуществлённых возможностей. Но в конечном итоге, как заметил Дана Скотт, теория множеств явилась разновидностью теории типов.