Talk:Infinite Set has Countably Infinite Subset/Intuitive Proof

So the link to ACC has been amended to the one for ADC - I recommend that the comment in the section directly above this also be amended as appropriate. Then something needs to be fleshed out so as to indicate what the order of strength of these things is: is ADC stronger or weaker than ACC, for example? --prime mover (talk) 19:56, 21 February 2013 (UTC)

We also should probably amend the "formal version" of this proof to use DC instead of AC. AC is stronger than DC is stronger than ACC, as you know. --Dfeuer (talk) 22:59, 21 February 2013 (UTC)

Alternatively, have two proofs. --Lord_Farin (talk) 23:00, 21 February 2013 (UTC)

I suppose so, but it seems mighty peculiar to describe that as a formal version of this when this needs DC and that needs AC.... --Dfeuer (talk) 23:08, 21 February 2013 (UTC)

Not peculiar at all. --prime mover (talk) 23:12, 21 February 2013 (UTC)