- #26

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

I will give you the benefit of the doubt and assume you simply misread what I wrote. I will state it with more precision, and add an annotation in blue:or that the theorem is false. you should check your definition before puttingboldassertions.

. Suppose you have a list of real numbers. (which may or may not contain all of the real numbers)

. Suppose you have an enumeration of said list.

. Applying Cantor's diagonal argument gives you a number not in the list.

. Therefore, said list cannot be a list of

**all**real numbers.

You claim to have enumerated a list of real numbers. Therefore, your list does not contain all real numbers.