>>4
> ゲーデルの不完全性定理が出た時点で、数理論理はｵﾜｺﾝなんじゃないの？
>>6
>解のない方程式の存在が代数の終焉を意味するだろうか？

6のツッコミは正しくない。
いかなる代数方程式にも複素数解は存在する。
（ガウスの「代数学の基本定理」）

正しくは
「方程式が代数的に解けないことが代数の終焉を意味するだろうか？」
もちろん、意味しない。

そもそも、フレーゲも他の人も、
「述語論理式の証明可能性は決定可能だ」
などと請け負った覚えはない。