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

הדוגמה המפורסמת ביותר לשימוש בלכסון היא [[האלכסון של קנטור]], המשמש להוכחה שעוצמת ה[[מספר ממשי |מספרים הממשיים]] גדול ממש מעוצמת ה[[ מספר טבעי |מספרים הטבעיים]]. קנטור הוכיח זאת בהתבסס על כך ש<math> \!\ | \mathbb{R} | = |(0,1)| </math> (למשל, הפונקציה <math> \!\ f: (0,1) \rightarrow \mathbb{R}, x \mapsto tan(\pi \cdot (x-0.5\frac{\pi}{2})) </math> היא [[פונקציה חד-חד-ערכית ועל |חד חד ערכית ועל]] ולכן מתקיים השוויון).