It is one of the great questions of mathematics: What does "infinity" actually mean? Which infinities are larger than others? Can infinities be arranged in a sequence, like the rungs of an endless ladder, so that for any two of them we can always say which one lies above the other?