 There is an infinite ordinal, because there is an ordinal which can be placed in one-to-one correspondence with one’s favorite infinite set \(I\). Since there is an infinite ordinal, every finite ordinal is a set and the first infinite ordinal \(\omega\) is a set. It follows that all infinite sets are countably infinite.