... לאינסוף פירושה שאנו יכולים להגיע למספר גדול כרצוננו. זהו אינסוף שמושתת אך ורק על אלמנטים סופיים, אך מאחוריו עומד תהליך אינסופי. ישנן גם מערכות
מספרים שכוללות בהן את האינסוף כמספר, או מרחבים שבהם האינסוף נכלל בתור איבר של המרחב. בכל המקרים הללו הדבר גורר שינוי של כמה מהתכונות המתקיימות במערכת, ולעתים אין האינסוף שהוסף אליהן מהווה יותר מסימון לצורכי נוחות בלבד. האינסוף כתהליך הגדל כרצוננו תכונתם של
המספרים הטבעיים, שלכל אחד מהם יש מספר גדול ממנו, הייתה ידועה כבר ליוונים הקדמונים (וזכתה לשם אקסיומת ארכימדס). אם נתבונן בסדרה שאיבריה הם
המספרים הטבעיים, נראה כי ככל שאנו מתקדמים בסדרה, הערכים של איברי הסדרה הולכים וגדלים בצורה כזו שעבור כל מספר טבעי, החל ... של תכונותיהן הלא אינטואיטיביות של קבוצות שמספר איבריהן אינו סופי (קבוצות אינסופיות). גלילאו הראה כי ניתן ליצור התאמה שממנה נובע כי מספרם של
המספרים הטבעיים זהה למספרם של
המספרים הריבועיים, אף שתוצאה זו סותרת לכאורה את העובדה הברורה, שיש
מספרים טבעיים שאינם ריבועיים. מכאן הסיק גלילאו שמושגי הגדול, קטן ושווה המוכרים לנו מקבוצות סופיות אינם תקפים באותה צורה ... בסוף המאה ה - 19, במסגרת פיתוחה של תורת הקבוצות. מונח העוצמה נוצר במסגרת זו כדי לבטא את גודלה של קבוצה שמספר איבריה אינו סופי, כגון קבוצת
המספרים הטבעיים או קבוצת
המספרים הממשיים. במסגרת זו, לקבוצת
המספרים הטבעיים ולקבוצת
המספרים הריבועיים יש אותה עוצמה, אף על פי שאחת הקבוצות מכילה ממש את רעותה. ריכרד דדקינד הגדיר קבוצה אינסופית ככזו שהיא ... המוכלת בה ממש. הישג גדול של קנטור היה ההוכחה שאין מקום לדבר על גודל אינסופי יחיד, אלא יש סוגים רבים של גדלים אינסופיים. העוצמה של קבוצת
המספרים הממשיים, למשל, גדולה מזו של קבוצת
המספרים הטבעיים. את העוצמה של
המספרים הטבעיים סימן קנטור באות העברית aleph_0 (קרי: אלף אפס), ואת עוצמת הממשיים סימן באות aleph. יתרה מזו, משפט קנטור ... שלא ניתן לטפל בהן במסגרת תורת הקבוצות האקסיומטית, קרא קנטור האינסוף המוחלט. פעולות באינסוף יש כמה דרכים שבהן ניתן לצרף את הסמל infty למערכות
מספרים מוכרות. בכל אחת מדרכים אלה מקבלות פעולות מסוימות משמעות, ובאותה עת מאבדים כמה מן התכונות המקוריות של המערכת. ... לקבל גם את השוויון המופרך 1= 1+0 = 1+( infty- infty) = (1+ infty) - infty= infty- infty=0, או לוותר על האסוציאטיביות של החיבור. ראו גם שדה
המספרים הסוריאליסטיים. האינסוף בגאומטריה אחת התוצאות הראשונות הנובעות מהאקסיומות של הגאומטריה היא שכל ישר מכיל אינסוף ... ואין חקר) נפלאות עד אין מספר, כלומר: עד אינסוף (בעוד שהמילה עד מעידה בעברית על הגעה אל גבול, ואכן גם במתמטיקה משמש האינסוף (אנ) כגבולם של כל
המספרים הסופיים). בקבלה, מכונה התגלות האל כאור אין סוף, כלומר אור שאיננו מוגבל ובעל פרטים מוגדרים, כי אם מציאות מופשטת, ...