It will be recalled that Cantor called the first transfinite number ℵ₀. He called the second transfinite number—the one describing the set of all real numbers— C. It has not been proved whether C is the next transfinite number after ℵ₀ or whether another number exists between them.