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