这个一般性证明的思路。我原来的问题是在自然数和实数集的这个特定关系中，对角线导出的那个点为什么是唯一的。后来发现维基已经解释的很清楚，包括这个证明的一般化及其与罗素悖论的关系。

http://en.wikipedia.org/wiki/Diagonal_proof