Past exam of the mathematics course of the University of Cambridge / 2019 / ii / Paper 3 / 16I / i

True. If $x$ is a nonempty finite set, thenThis maximum is a successor ordinal, whereas the empty set has rank $0$. Hence a set of nonzero limit ordinal rank cannot be finite and must be an infinite set.