... המתמטיקה הוא \ infty. האינסוף במתמטיקה במתמטיקה, ישנם שני סוגים עיקריים של אינסוף - זה הבא לתאר גודל של
קבוצה שאינה סופית - גודל שכזה מכונה עוצמה. השני בא לתאר תהליכים גבוליים, ומשמעותו היא "כמה שנרצה" - כלומר, שאיפה לאינסוף פירושה שאנו יכולים להגיע למספר גדול כרצוננו. זהו אינסוף ... קנטור בסוף המאה ה - 19, במסגרת פיתוחה של תורת הקבוצות. מונח העוצמה נוצר במסגרת זו כדי לבטא את גודלה של
קבוצה שמספר איבריה אינו סופי, כגון קבוצת המספרים הטבעיים או קבוצת המספרים הממשיים. במסגרת זו, לקבוצת המספרים הטבעיים ולקבוצת המספרים הריבועיים יש אותה עוצמה, אף על פי שאחת הקבוצות מכילה ממש את רעותה. ריכרד דדקינד הגדיר
קבוצה אינסופית ככזו שהיא שוות עוצמה
לקבוצה המוכלת בה ממש. הישג גדול של קנטור היה ההוכחה שאין מקום לדבר על גודל אינסופי יחיד, אלא יש סוגים רבים של גדלים אינסופיים. העוצמה של קבוצת המספרים הממשיים, למשל, גדולה מזו של ... עד כי לא ניתן לדבר על העוצמה שלה עצמה (כלומר, על פי תורת הקבוצות האקסיומטית, אוסף העוצמות גדול מכדי להיות
קבוצה, והוא נחשב למחלקה). לקבוצת כל העוצמות (ולקבוצות השקולות לה), שלא ניתן לטפל בהן במסגרת תורת הקבוצות האקסיומטית, קרא קנטור "האינסוף המוחלט". פעולות באינסוף יש כמה דרכים שבהן ... דרך מוסכמת, "נכונה", לטפל באריתמטיקה של הסמל הזה. דרך אחת לבצע פעולות באינסוף היא לספח לישר הממשי, בתור
קבוצה סדורה, שתי נקודות חדשות: \ \ infty ו - \ - \ infty. מבחינת יחס הסדר, המוסכמה היא ש - \ - \ infty < a < \ infty לכל a ממשי;
הקבוצה נשארת סדורה לינארית. פעולת החיבור מוגדרת על - פי הכללים \ \ infty+a= \ infty ו - \ - \ infty+a= - \ infty לכל a ממשי, וכך מוגדרות כל האפשרויות לחבר שני איברים של
הקבוצה החדשה, למעט \ - \ infty+\ infty, ביטוי שאינו מוגדר. אפשר להרחיב את הגדרת הכפל באופן דומה, כאשר הביטוי \ 0\cdot \infty נשאר לא מוגדר. פעולת החילוק מקיימת את הכלל \ \ frac{a} { \ infty} =0 לכל a ממשי, וגם כאן, הביטוי \ \ frac{ \ infty} { \ infty} אינו מוגדר.
הקבוצה החדשה אינה שדה (משום שהפעולות אינן מוגדרות שם באופן מלא). לכך שביטויים מסוימים נשארים בלתי מוגדרים יש סיבה: אם נקבע למשל ש - \ \ infty-\ infty=0, נצטרך לקבל גם את השוויון ...