Talk:Infinite Set has Countably Infinite Subset/Proof 1

The "proof" presented as Proof 1  is nonsense; perhaps something has been deleted inadvertently? Specifically, the claim "Thus there is function $\phi: \N \to S$ which is surjective but not injective" is asserted without explanation or justification, and in no way follows from what comes before. --ratboy.
 * This was the proof that was entered by User:Dan232 on 3rd December and got tidied into its current format by me between then and now. I confess I don't follow its reasoning myself, but I am reliably informed that I am completely ignorant of mathematics, so that is to be expected. (Since that time it was extracted from its present position in Infinite Set has Countable Subset and put into its current home in the transcluded sub-page.)
 * There may or may not be a missing theorem that needs to be inserted between the two statements as you suggest. If there is, and we do not have it on PW it needs to be added. If there isn't, and the statement in question does not follow from its predecessor, there is indeed a problem that will need to be resolved.
 * The problem stems from the fact that not all contributors are completely familiar with or agree with the philosophies of this site: a) that every step of every proof needs to be justified rigorously, and b) that the proof is laid out with one statement per line. In the case of a), the view is that it is harmful to students to be given every single line of the proof, as they are then robbed of the need to think for themselves. This is a difficult philosophical position to refute.
 * If you are sufficiently familiar with this area of set theory (as I say, I'm shaky as I am self-taught here), and know what to do to put this whole page right, including whether the reference to Axiom of Choice, in any of its forms is needed (someone suggested that the Axiom of Dependent Choice may be needed instead, way over my head) then I welcome your input. This page has always been a problem. --prime mover 17:11, 17 December 2011 (CST)