'''הוכחה:'''
נבנה פונקציות חח"ע ועל ונוכיח מספר טענות עזר בדרך.
* נגדיר <math>f:\mathbb{N}\rightarrow\mathbb{Z}</math> ע"י
**אם n זוגי אזי <math>f(n)=\frac{n}{2}</math>
**אחרת, <math>f(n)=-\frac{n-1}{2}</math>
קל לוודא שפונקציה זו חח"ע ועל לכן עוצמת השלמים ועוצמת הטבעיים שווה.
'''טענה.''' אם <math>A\subseteq B</math> אזי <math>|A|\leq |B|</math>. קל לבנות פונקציה מA לB ששולחת כל איבר בA לעצמו, זו פונקציה חח"ע.
'''טענה.''' אם A קבוצה וR יחס שקילויות על הקבוצה אזי עוצמת קבוצת המנה קטנה או שווה לעוצמה של A. נוכיח טענה זו בהמשך הקורס באמצעות אקסיומת הבחירה.
'''טענה.''' מתקיים ש <math>|\mathbb{N}|=|\mathbb{N}\times \mathbb{N}|</math>.
'''הוכחה.'''
נביט באוסף הזוגות הסדורים של מספרים טבעיים, ונחלק אותם לקבוצות לפי סכום האיברים בזוג. בקבוצה הראשונה יהיה הזוג (1,1), בקבוצה השנייה יהיו הזוגות (1,2),(2,1), בקבוצה השלישית יהיו הזוגות (1,3),(2,2),(3,1) וכדומה.
נגדיר פונקציה <math>f:\mathbb{N}\rightarrow\mathbb{N}\times\mathbb{N}</math> באופן הבא:
*1 נשלח לזוג הראשון בקבוצה הראשונה
*2 נשלח לזוג הראשון בקבוצה השנייה
*3 נשלח לזוג השני בקבוצה השנייה
*4 נשלח לזוג הראשון בקבוצה השלישית
*...
קל לראות שפונקציה זו מוגדרת היטב. לכל מספר טבעי פשוט עוקבים אחרי התהליך הזה ורואים לאיזה זוג הוא נשלח. כמו כן, לכל זוג ניתן לעבור על התהליך עד שיגיע המספר שישלח אליו.
כמו כן קל לראות שפונקציה זו חח"ע וגם על.
'''טענה.''' מתקיים ש <math>|\mathbb{Z}|=|\mathbb{Z}\times \mathbb{Z}|</math>. תרגיל בית.
נביט באוסף הזוגות הסדורים בהם האיבר הימני שונה מאפס. קבוצה זו מוכלת באוסף כל הזוגות ולכן עוצמתה קטנה מעוצמת השלמים. נחלק אוסף זה ביחס השקילות <math>(a,b)~(x,y) \iff ay=bx</math> ונקבל קבוצה מעוצמה אף קטנה יותר. קבוצת המנה שקיבלנו היא כמובן <math>\mathbb{Q}</math> ולכן קיבלנו ש <math>|\mathbb{Q}|\leq |\mathbb{Z}|</math>.
בכיוון ההפוך, השלמים מוכלים ברציונאליים ולכן עוצמתם קטנה יותר ומכאן שעוצמת הרציונאליים שווה לעוצמת השלמים.