Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-121/1/b/solution

Write . Its cofinality is , so choose a strictly increasing sequence of infinite cardinal numbers below with supremum . Such a sequence is obtained by refining a cofinal sequence and choosing larger cardinals recursively; is a singular cardinal, hence a limit cardinal.
By the axiom of choice, fix a bijection . Set
Every is infinite, , and distinct indices give distinct cardinalities. The cofinality of the sequence ensures
Thus . Pairwise different sizes means different sizes for distinct members; without that qualification the parenthetical condition would contradict the case .

New to topics? Read the docs here!