Linked from

The 12 pages that link to Cantor's diagonal argument, each with the reason it gives.

• Diagonal lemmaCompared with: It shares the diagonal name but proves non-enumerability rather than formal self-reference.