аксиомы ZFC и формализация тождества

[Jnrty]

Svеznoy в сообщении #189260 писал(а):

Те $a_2$, которые не существуют попадают под квантор всеобщности в аксиоме пустого множества или нет ?
$\forall a\exists b (a \notin b)$

Во-первых, это не аксиома пустого множества. Во-вторых, несуществующие объекты под квантор всеобщности не "подпадают".

Jnrty:

Svеznoy, хватит писать тут всякие глупости и бессмысленные формулы. Тему закрываю.

Кроме того, у Вас, по всей видимости, как минимум, 4 (четыре) зарегистрированных псевдонима: А.Связной, Связной, sveznoy, Svеznoy. Это явный перебор. Без особых причин разрешается иметь только один псевдоним.
Напишите мне личное сообщение () с объяснением причин такого изобилия псевдонимов. Три первых псевдонима я заблокирую сейчас. Если Ваши объяснения окажутся неубедительными, могут быть заблокированы все четыре.