In reasoning with transfinite numbers one implicitly uses an   axiom asserting their existence; but it is desirable both from the   logical and mathematical point of view to pare down the system of   axioms employed in demonstrations. Besides, this reduction will free   such reasoning from a foreign element, which increases its   æsthetic value. (Kuratowski 1922: 77)