Диагональный аргумент


Диагональный аргумент в математике — это метод, используемый при доказательстве следующих теорем: