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

לכסון הוא כלי הוכחה נפוץ ב[[תורת הקבוצות]] אשר השימוש העיקרי שנעשה בו הוא הפרכת היותן של קבוצות [[קבוצה בת מנייה | בנות מנייה]], זאת אומרת הוכחה ש[[עוצמה (מתמטיקה) |עוצמתן]] אינהגדולה שווה למ[[אלף אפס | <math> \!\ \aleph_0 </math> ]]. השימוש המפורסם ביותר של השיטה הוא ב[[האלכסון של קנטור |אלכסון של קנטור]], אך יש לציין ש[[פול דו בואה ריימון]] עשה בה שימוש כבר ב[https://gdz.sub.uni-goettingen.de/id/PPN235181684_0008 1875].