Известно, что все бесконечные последовательности из 0 и 1 нельзя записать в таблицу.
Доказательство этого факта дал Кантор и (имхо) с него появился термин диагональное доказательство.

Извиняюсь , напомню вкратце суть:

Предположим, что существует таблица, в которой перечислены все бесконечные последовательности из 0 и 1.
Тогда можно построить последовательность, которой нет в этой таблице:
Берём из первой последовательности первый символ и инвертируем его.
Из второй берём второй, инвертируем. И т.д.
В итоге, из взятых символов получается новая последовательность, которая гарантировано не совпадает ни с одной из прежних.

Вопрос такой:

Можно ли выписать в бесконечную таблицу все последовательности,
у которых лишь конечное число 1, а остальные — нули?