"Set theory with a universal set: Exploring an untyped universe" - читать интересную книгу автора (T. E. Forster)