for W being set st W is Tarski holds
card W is limit_ordinal