האלכסון של קנטור – הבדלי גרסאות

[[קובץ:Diagonal argument 2.svg|ממוזער|250px|האלכסון של קנטור – מניחים שיש רשימה של כל ה[[מספר ממשי|מספרים הממשיים]] בין [[0 (מספר)|0]] ל-[[1 (מספר)|1]], ומראים שיש מספר ממשי שלא מופיע ברשימה. m מייצג [[ספרה|ספרות]] שהן 0 ו-w מייצג ספרות שאינן 0.]]

'''האלכסון של קנטור''' היא [[הוכחה|הוכחתו]] של [[גאורג קנטור]] משנת [[1891]] שה[[מספר ממשי|מספרים הממשיים]] אינם [[קבוצה בת מנייה|בני מנייה]] כלומר, לא קיימת [[פונקציה חד-חד-ערכית ועל]] בינם לבין ה[[מספר טבעי|מספרים הטבעיים]].