יש את הוכחת האלכסון. בעיקרון צריך להראות שאי אפשר ליצור סדרה שתכיל את כל המספרים מ 0 ל1. או במילים אחרות - אי אפשר להתאים לכל מספר ממשי בין 0 ל1 מספר טבעי שיהיה יחודי רק לו.
בקישור שנתתי ושאלה: העוצמה של קבוצת המספרים בין 0 ל-1 היא א1 ואפשר להראות שיש התאמה חד חד ערכית בין הקבוצה P(N) לבין קבוצת המספרים בין 0 ל-1 אז ככה הראו שעוצמה של P של N היא א1? (וסליחה על הניסוח
בכל אופן כל העניין בהוכחת האלכסון היא שאין התאמה חד חד ערכית בין קבוצת המספרים הטבעיים N לבין קבוצת כל המספרים בין 0 ל1 ועל כן קבוצת המספרים הטבעיים גודלה אינסוף, וקבוצת המספרים בין 0 ל 1 גודלה גדול מאינסוף ונקרא א1. ככה אני מבינה את זה בכל אופן...
העניין הוא, ואת זה לא תלמדי את שתגיעי לאוניברסיטה כנראה, שיש גדלים שונים של אינסוף (כמה שזה נשמע לך מטורף) אני חושבת שכותב השאלה התכוון לגודל של האינסוף.. אם זה מסקרן אותך את יכולה להכנס למאמרים של פורום מתמטיקה, ויש שם הסברים בשפע בנושא..