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

* אם <math>\ B=A</math> אז הוא נמצא כאמור בכל קטע ולכן לא מופיע בסדרה. קנטור מבחין כי זה מה שמתרחש במקרה בו <math>\left\{x_n\right\}</math> היא סדרת האלגבריים אותה הגדיר בחלק הראשון בהוכחה.

* אם <math>\ B>A</math> הרי שכל איבר בקטע <math>\ [A,B]</math> לא מופיע בסדרה.

 

[[en:Cantor's first uncountability proof]]