Для того, чтобы видеть, совсем не обязательно иметь иметь глаза.
Без правого глаза мы видим. Без левого тоже видим. А поскольку кроме левого и правого глаза других глаз у нас нет, то оказывается, что ни один глаз не является необходимым для зрения.
Аналогично можно доказать это индукцией по числу глаз. Пусть
множество таких
, что мы можем закрыть
своих глаз, сохраняя способность видеть. База
очевидна (один глаз-то мы можем закрыть!) Пусть
Докажем, что
Действительно, закрываем один глаз и для оставшихся глаз применяем предположение индукции,
чтд.
А вот как это делают физики:
Гипотеза. Ставим эксперимент, закрываем глаза. Оба-на!