שינויים

===משפט (קנטור- שרדר-ברנשטיין)===

'''טענה.''' מתקיים ש <math>|\mathbb{N}|=|\mathbb{Z}|=|\mathbb{Z}\times \mathbb{Z}|</math>.