В чем заключаются основные отличия между аксиоматикой Цермело-Френкеля и теорией типов Рассела?

Основные отличия между аксиоматикой Цермело-Френкеля и теорией типов Рассела:

1. В аксиоматике Цермело-Френкеля допускается использовать только множества, построенные из уже построенных множеств при помощи определённого набора аксиом. ru.wikipedia.org yandex.ru В этой теории нельзя построить множество всех множеств. ru.wikipedia.org yandex.ru
2. В теории типов Рассела простые объекты имеют тип 0, множества простых объектов — тип 1, множества множеств простых объектов — тип 2 и так далее. ru.wikipedia.org Таким образом, ни одно множество не может иметь себя в качестве элемента. ru.wikipedia.org Ни множество всех множеств, ни расселовское множество не могут быть определены в этой теории. ru.wikipedia.org

Кроме того, в теории множеств Цермело-Френкеля элемент не ограничен одним набором и может появляться в подмножествах и объединениях с другими наборами, а в теории типов термины, как правило, принадлежат только одному типу. {9-host}