Двум гениям сообщили по натуральному числу и сказали, что эти числа отличаются на 1. После этого они по очереди задают друг другу один и тот же вопрос: "Знаешь ли ты мое число?". Докажите, что рано или поздно один из них ответит положительно. 
   Если число одного из гениев равно m, то он знает, что число другого гения равно либо  m + 1,  либо  m – 1;  ему остаётся определить только то, какая из этих двух возможностей имеет место. Когда гений A отвечает на вопрос "Знаешь ли ты моё число?" в первый раз, он может ответить положительно только если его число равно 1 (в этом случае число второго однозначно равно 2). Если ответ был отрицательный, то второй гений B узнает, что  число A не равно 1 (хотя он это и так знает, если его число больше 2!). Далее, если при втором задании вопроса B отвечает отрицательно, то A узнает, что число B не равно 1 и 2 (если число B равно 2, он наверняка знал бы, что число A равно 3, поскольку после первого вопроса он знает, что оно не равно 1). 
   Пусть перед очередным вопросом одного из гениев (для определенности, A) обоим гениям известно, что число A не равно 1, 2, ..., k, а число B не равно  1, 2, ..., k – 1.  Если B ответил отрицательно, то его число не равно k (иначе он бы знал, что число A равно k + 1, также его число не равно  k + 1  (иначе он бы знал, что число A равно  k + 2,  поскольку оно не может быть равно k). Итак, в случае отрицательного ответа B мы приходим к ситуации, аналогичной только что рассмотренной: перед вопросом B обоим гениям известно, что число B не равно  1, 2, ..., k + 1,  а число A не равно 1, 2, ..., k. 
   Далее при повторении отрицательных ответов каждый из гениев будет постепенно определять, что число другого гения не равно ни одному числу из начального отрезка натурального ряда. Так как числа гениев конечны, то процесс отрицательных ответов рано или поздно прекратится; это означает, что один из гениев ответит на вопрос положительно. 
Математическая логика (прочее) Индукция (прочее)