"The Theory of Semisets (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Petr Vopenka, Petr Hajek)