== עוצמת הטבעיים ==
'''===תרגיל.'''===
הוכח שעוצמות הקבוצות הבאות שוות: <math>\mathbb{N},\mathbb{Z},\mathbb{Q}</math>
'''===טענה.''' === מתקיים ש <math>|\mathbb{N}|=|\mathbb{N}\times \mathbb{N}|</math>.
'''הוכחה.'''
'''===משפט (קנטור- שרדר-ברנשטיין)''' === אם <math>|B|\leq|A|</math> וגם <math>|A|\leq|B|</math> אז <math>|B|=|A|</math>
'''טענה.''' מתקיים ש <math>|\mathbb{N}|=|\mathbb{Z}|=|\mathbb{Z}\times \mathbb{Z}|</math>.