שינויים
/* \aleph_0 \cdot \aleph_0=\aleph_0 */
הוכחה : נגדיר פונצקיה <math>f:\mathbb{N}\to C </math> ע"י <math>n\mapsto n-1</math>
טענה <math>\aleph_0 \cdot \alephaleph_0=\alephaleph_0</math>
הוכחה: נגדיר <math>f:B\times C\to \mathbb{N}</math> ע"י <math>(x,k)\mapsto x\cdot 2^k</math>
