>>260
ちょっと分かりづらかった>>259
>ゲーデルの各種論文は形式化によって正しいと結論出てるの？
ゲーデルの各種論文は形式化されていてプログラムによって正しいと結論出てるの？