Cantor's Theorem presupposes the iterative conception of sets, which is one axiomatization among sev...