Предлагаю перейти от игры оппонентов в эмоционально обусловленные ассоциации к конкретным практических действиям.
Вот здесь живет непрерывно изменяемая статья о теоремах Гёделя:
https://ru.wikipedia.org/wiki/Теоремы_Гёделя_о_неполноте
Лучше читать английскую версию, она стабильнее и точнее. На данный момент в русскоязычной версии есть такая цитата:
финитное доказательство непротиворечивости арифметики невозможно
Эту фразу можно понимать так:
Если мы стартуем с отказа от противоречия, то мы не способны создать даже арифметику. Та арифметика, которую пробуем создать мы, не может быть создана из-за того, что она не умеет работать с бесконечностями.
Чтобы увидеть эту фразу в понятную математикам математике, нужно иметь некоторые представления о независимости.
Начнем строить ряд чисел:
1, 2, 3, 4, 5 ... n
Числа в этом ряду зависят друг от друга, что позволяет создать на их базе арифметику.
Идем дальше, строим прямоугольник и пробуем вычислить его диагональ. И вот тут уже даже Пифагор обнаружил необходимость работы с бесконечностями.
Чтобы перейти к бесконечностям, дополним ряд чисел бесконечностью:
0, 1, 2, 3, 4, 5 ... n ... ∞
Мы построили ряд, состоящий из ортогональных членов. Числа в этом ряду не зависят друг от друга, что не позволяет создать на их базе арифметику.
Отсюда мы переходим к универсальному выводу:
Любая рациональная теория по мере своего создания упирается в "демона бесконечности" - в неопределенность бесконечности.
Гёдель доказывает неполноту любой рациональной модели полного оригинала. В разнице между оригиналом и его рациональной моделью находятся, среди прочего, бесконечности.
Мы не можем в полной мере ответить на вопрос, что именно содержится в этой разнице, какова природа и каков масштаб ошибки рациональной аппроксимации. Но что-то мы об этой ошибке таки знаем - она, как минимум, больше бесконечности. Ошибка рациональной аппроксимации больше бесконечности.
"Ну ничего, для практики сойдет, ну ошиблись немножко" - типичный ответ верующего в рациональность. Но по факту это "ошиблись немножко" больше бесконечности.