"Справочная книга по математической логике, Теория множеств" - читать интересную книгу автора (Барвайс Дж. (ред.)(Barwise J.))