>>264
>ゲーデルの各種論文は形式化されていてプログラムによって正しいと結論出てるの？

はい　>>280に上げた文献を読んでいただければわかりますが
具体的にいえば、ゲーデル命題の証明が存在すれば、
それを改変することで矛盾の証明を構成できます
これは完全に構成的手続きなので疑問の余地は微塵もありません

つまり矛盾の証明が存在しないのであればゲーデル命題の証明も存在しません