לכסון (שיטת הוכחה) – הבדלי גרסאות

1.נניח בשלילה ש<math> \!\ X </math> [[קבוצה בת מנייה | בת מנייה]], זאת אומרת שקיימת לקבוצה מנייה (סדרה של איברי הקבוצה שאיבריה נמצאים בהתאמה ל[[מספר טבעי | מספרים הטבעיים]]). נסמן מנייה זו <math> \!\ \langle x_n \mid n \in \mathbb{N} \rangle </math>.

2.נבנה איבר <math> \!\ x \in X </math> מתוך איברי המנייה כך שהוא שונה מכל איבר בה. (באלכסון של קנטור, למשל, בונים מספר <math> \!\ r </math> ב[[קטע (מתמטיקה) | קטע הפתוח]] <math> \!\ (0,1) </math>, כך שלכל <math> \!\ n \in \mathbb{N} </math>, הספרה באינקדס <math> \!\ n </math> אחרי הנקודה מוגדרת להיות שונה מהספרה באינדקס ה-<math> \!\ n </math> של <math> \!\ r_n </math> במנייה (לכאורה) של <math> \!\ (0,1) </math>.