"The totality of all alephs cannot be conceived as a determinate, well-defined, and also a finished set. This is the punctum saliens, and I venture to say that this completely certain theorem, provable rigorously from the definition of the totality of all alephs, is the most important and noblest theorem of set theory. One must only understand the expression "finished" correctly. I say of a set that it can be thought of as finished (and call such a set, if it contains infinitely many elements, "transfinite" or "suprafinite") if it is possible without contradiction (as can be done with finite sets) to think of all its elements as existing together, and to think of the set itself as a compounded thing for itself; or (in other words) if it is possible to imagine the set as actually existing with the totality of its elements."