Нашёл инетресное рассуждение о парадоксе Ябло на с. avva.livejournal.com/1159044.html :
Последний парадокс выглядит жульничеством. Ни одно из утверждений не сформулировано, они только пронумерованы. Утверждение S1 приобретает смысл только после того, как уже придан смысл S2, S3 и т.д. S2 приобретает смысл только после того, как уже придан смысл S3, S4 и т.д. Ну и так до бесконечности. Ни одно из утверждений не определено
и, тем более, не имеет смысла говорить о его истинности или ложности.
Согласен, там применено доказательство по индукции "назад", которая начинается с бесконечности, т.е. на самом деле ни с какого элемента.
По-моему, такой метод заведомо ошибочен. Похожих "доказательств" можно
добиться и обычной индукцией (вперед), где опущено доказательство для
первого элемента.Добавлено (07.11.2019, 16:54)
---------------------------------------------
Недавно опубликовал статейку по этому мультику на Хабре, сразу получил там полный доступ. А Хабр читают даже академики РАН...
https://habr.com/ru/post/474426