Ну да, именно. Вот и в 3х+1 похожая картина - башня рушится, знаю даже когда она рушится, а фиг докажешь, что этот момент обязательно наступает. Может быть тоже в арифметике Пеано недоказуемо?
Может быть не по сабжу, но всё же об Основной Теореме Арифметики. Понятие простого числа определяется в терминах лишь умножения - сложение тут не участвует.
Вопрос: возможно ли доказать ОТА, используя лишь умножение и не пользуясь операцией сложения?
Hint: ответ можно найти совсем рядом, ... ну хотя бы в розетке.