В чем заключается метод доказательства диагональной теоремы?

Возможно, имелся в виду диагональный аргумент (диагональный метод Кантора) — доказательство теоремы о том, что множество всех подмножеств данного множества имеет большую мощность, чем само множество. ru.ruwiki.ru

Суть метода: habr.com

1. Предположим, что есть список всех возможных бесконечных последовательностей из нулей и единиц, которые можно пронумеровать: первая, вторая, третья и так далее. habr.com
2. Возьмём по одной цифре с диагонали этого списка (от первой — первую, от второй — вторую и т. д.) и заменим каждую: 0 на 1, 1 на 0. habr.com
3. Получим новую последовательность. habr.com
4. Эта новая последовательность, по мнению Кантора, гарантированно отличается от каждой в списке хотя бы в одном разряде — значит, она в этот список не входит. habr.com
5. Следовательно, никакой полный список не существует, и множество всех таких последовательностей — несчётно. habr.com

Кантор использовал этот метод для доказательства несчётности множества вещественных чисел. habr.com

Однако в последние десятилетия в работах конструктивистов и логиков появились сомнения в правильности такого доказательства. habr.com Некоторые учёные считают, что ключевая ошибка метода — внутреннее противоречие в индукции, и он не является чисто математическим доказательством. habr.com