After Cantor, mathematicians realised that infinities can be graded by size (cardinalities). But just as we view the naive infinite as bigger than any finite number, is there an 'infinite' greater than any infinite?