Розраховуйте на Кантон

Одним із відомих доказів у сучасній математиці є демонстрація Георга Кантора, яка показує, що множина раціональних чисел є зліченною. Цей доказ базується на явному перерахуванні раціональних чисел, як це зображено на діаграмі нижче.

$1/1$ $1/2$ $1/3$ $1/4$ $1/5$ $\dots$ $2/1$ $2/2$ $2/3$ $2/4$ $3/1$ $3/2$ $3/3$ $4/1$ $4/2$ $5/1$

У цій діаграмі перший елемент — це $1/1$, другий — $1/2$, третій — $2/1$, четвертий — $3/1$, п'ятий — $2/2$ і так далі.