I understand the basis of Cantor's transfinite numbers, N0 and the difference between it and 2N0. However, I've never seen any reference to the applications of distinguishing different infinities. What am I missing?