for m being Cardinal
for W being set st W is Tarski & m in card W holds
m in W