Комментарий:Суть диагонального аргумента КАнтора заключается в том, что элементам
более мощного множества невозможно однозначно поставить в соответствие
элементы менее мощного множества: например, если попытаться
пронумеровать все бесконечные последовательности из нулей и единиц,
расположив каждую на новой строке, и заменить в последовательности на
диагонали каждый нуль на единицу и наоборот, то результирующая
последовательность не будет принадлежать списку. Из слов ГЕлмэна
следует, что если принять количество возможных неточностей бесконечным,
то любая из конечного числа научных моделей не сможет избежать ошибок,
ведь последовательность неточных экспериментов составляет набор, для
объяснения которого нужна модель, которой нет в списке.