for X being infinite set holds not X in Tarski-Class {X}