 He [Russell] has a secret craving to have proved some straight mathematical theorem. As a matter of fact there is one: “\(2^{2^{\alpha}} &gt; \aleph_0\) if \(\alpha\) is infinite”. Perfectly good mathematics.