theorem Th19: :: CLASSES3:19

for X being infinite set holds not X in Tarski-Class {X}