Мирослав Маратович,
я тебе сюда отвечу и попробую в почту, но с почтой
что-то несколько глухо. Ты как-то не получаешь ее
что ли, или у меня оно не отправляется.
a_shen@lj нашел в книжке то определение единицы
в полном виде, с добавлением от переводчика, и разъяснил
мне смысл всех обозначений. Теперь я с чистой совестью
могу тебе прочесть это же в виде абракадабры.
Положила сюда pdf-file от А. Х. Шеня:
http://imperium.lenin.ru/~yulya/bour1.pdfчитай там определение единицы с подробным комментарием:
тау зет такое, что существует у малое существует у большое
у малое равно (У большое, пустое множество, зет) и У большое
принадлежит прямому произведению пустого множества
и множества зет, и для любого икс из "икс принадлежит
пустому множеству" следует, что существует пара икс, игрек
из У большого, и для любого x, для любого игрек, для любого
игрек штрих утверждение "пара икс, игрек принадлежит У большому"
и "пара икс, угрек штрих принадлежит У большому" влечет
за собой "игрек равно игрек штрих" и для любого игрек из
"игрек принадлежит зет" следует, что существует икс такое,
что пара икс, игрек принадлежит У большому,
и для любого икс, для любого икс штрих, для любого игрек
принадлежность пар икс, игрек и икс штрих, игрек
У большому влечет за собой икс равно икс штрих."