(отвечаю на нераскрытый комментарий)
Подозреваю, Александр вполне качественно разбирается в теоремах про полноту и неполноту аксиоматических систем;
у него с Николаем Константиновичем Верещагиным есть трилогия

Начала теории множеств/Языки и исчисления/Вычислимые функции

в третьей части нужно дочитать до теоремы 73

феномен из комментариев потом добавлю
(действительно, Александр очень раздражается, когда кто-то некомпетентный
о чем-то на компетентном стиле рассуждает, даже если не нарочно)