млин меня интересует доказательство за авторитетной подписью к сожалению тут не могу выписать все сигмы но у меня получается неравносильный переход. где-нить можно увидеть как надо?
Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов.
* Часть 1. Начала теории множеств. ftp://ftp.mccme.ru/users/shen/logic/sets/part1ps.zip или ftp://ftp.mccme.ru/users/shen/logic/sets/part1-17-12-2001.tar.gz