Cantor's theorem presupposes the existence of power sets, but the axiom of power set is not a logica...