13:2413:24, 26 June 2019diffhist−174
m
Cantor's diagonal argument
→Uncountable set: Previous statement was not a proof. To be a proof by contradiction, the derivation of the contradiction must follow from the assumption. The missing element follows only from assuming a list, not a complete list, so it is not proven by what wast described before.
21:2321:23, 9 January 2018diffhist+34
m
Proof by contradiction
Made use of P and Q consistent with rest of article, and clarified the difference between the original statement P and its components A and B.
13:2413:24, 26 June 2019diffhist−174
m
Cantor's diagonal argument
→Uncountable set: Previous statement was not a proof. To be a proof by contradiction, the derivation of the contradiction must follow from the assumption. The missing element follows only from assuming a list, not a complete list, so it is not proven by what wast described before.
21:2321:23, 9 January 2018diffhist+34
m
Proof by contradiction
Made use of P and Q consistent with rest of article, and clarified the difference between the original statement P and its components A and B.