“In other words, Cantor is able to show that real numbers themselves can serve as the limits of fundamental sequences of reals, meaning his system of definitions is self-enclosed and VIR-proof.”