SETS is Grothendieck of omega by Th72, CLASSES3:def 4;
hence SETS = Tarski-Class omega by Th73, Th74, CLASSES3:18; :: thesis: verum