כל מה שרצית לדעת על הוכחת האי-מנייה הראשונה של קנטור:
הוכחת האי-מנייה הראשונה היא הוכחתו של גאורג קנטור משנת 1874 כי כמעט כל המספרים הממשיים הם מספרים טרנסצנדנטיים.
הכלים ששימשו את קנטור לשם ההוכחה שימשו אותו מאוחר יותר לביסוס תורת הקבוצות אותה הגה.
להוכחה של קנטור חשיבות רבה במסגרת ההיסטוריה של תורה זו, שכן היא ההוכחה הראשונה לקיומה של קבוצה שאינה בת מנייה.
את אותה טענה הוכיח קנטור מאוחר יותר באמצעות טיעון האלכסון של קנטור שהיא ההוכחה המפורסמת יותר כיום.