שינויים

/* טענה. */
===טענה.===
מתקיים ש <math>|\mathbb{N}|=|\mathbb{N}\times \mathbb{N}|</math>.
'''הוכחה.'''
546
עריכות