take U = Tarski-Class omega; :: thesis: U is uncountable
omega in U by CLASSES1:2;
then card omega in card U by CLASSES2:1;
hence card U c/= omega ; :: according to CARD_3:def 14 :: thesis: verum