 The following theorem, that the cardinality of the power set of \(\alpha\) is 2 raised to the power of the cardinality of \(\alpha\), \(\; \bar{\bar{ \wp{\alpha} }} = 2^{\bar{\bar{\alpha}}}\), is called “Cantor’s Proposition”, and is said to be “very useful” (PM II, 140): 