Talk:Infinite Set has Countably Infinite Subset/Proof 3

Can it be investigated whether ACC can be used to produce this proof? I wonder whether perhaps no, because the power set of a countable set is uncountable, which rules out ACC at practically the first line. --prime mover 15:35, 5 April 2012 (EDT)