The theory of semisets. - Vopenka, Petr (Studies in logic and the foundations of mathematics ;, 1972)