摘要
Georg Cantor’s absolute infinity, the paradoxical class Ω of all ordinals, a non-entity for which being called a “class” is an undeserved dignity, must be the ultimate vexation for mathematical philosophers who hold on to some residual realism in set theory. By careful use of Ω, we can rescue Georg Cantor’s 1899 “proof” sketch of the Well-Ordering Theorem (being generous, considering his declining health) by taking the contrapositive of his suggestion and adding Zermelo’s choice function, resulting in a concise and uncomplicated proof of the Well-Ordering Theorem.