The mathematical result demonstrating that infinite sets can be ranked by size, with some infinities provably larger than others
