▽The n-Category Caf〓 ●11/27 22:31 November 22, 2024Axiomatic Set Theory 10: Cardinal ArithmeticPosted by Tom LeinsterPreviously: Part 9.The course is over! The grandfinale was the theorem thatX×Y≅X+Y≅max(X,Y) X \times Y \cong X + Y \cong max(X, Y)for all infinite sets XX and YY. Proving this required most of theconcepts and results from the second half of the course: well ordered sets,the Cantor–Bernstein theorem, the Har