"Set Theory with a Universal Set: Exploring an Untyped Universe " - читать интересную книгу автора (T. E. Forster)