not Tarski-Class omega c= FinSETS by Th19, Th20, CLASSES1:2;
hence FinSETS in Tarski-Class omega by CLASSES2:53; :: thesis: verum