set U = Tarski-Class (a \/ omega);
( omega c= a \/ omega & a \/ omega in Tarski-Class (a \/ omega) ) by XBOOLE_1:7, CLASSES1:5;
then omega in Tarski-Class (a \/ omega) by CLASSES1:def 1;
hence not Tarski-Class (a \/ omega) is countable by Unc1; :: thesis: verum