take U = Tarski-Class omega; :: thesis: not U is countable
omega in U by CLASSES1:5;
then card omega in card U by CLASSES2:1;
hence card U c/= omega ; :: according to CARD_3:def 15 :: thesis: verum