Из обсуждения множеств из пустых множеств с Потаповым Вячеславом. При конструировании ординалов фон Нейманом, 0 определяется как пустое множество, а последующий ординал как S(α) = α ∪ {α}. Таким образом, 0 = ∅, 1 = {∅}, 2 = {∅ , { ∅ }}, и т.д. Комментарий Потапова: 'Я честных полчаса пытался представить себе множество, единственным элементом которого является пустое множество, и не смог)...