Существует переформулировка метода математической индукции, известная еще древним грекам – метод бесконечного спуска: если для каждого натурального числа, удовлетворяющего свойству A(n), найдется меньшее, удовлетворяющее этому свойству, то чисел n, для которых выполнено A(n), вообще нет.
Докажите абсурдность следующего предположения: у каждого человека мать является человеком.
