>>69
>別に数理論理学が数学の基礎付けに関わらなくても全然構わないんだけど、
>完全性定理に限っては普遍的に成り立ってくれなきゃ困るんだよ。

「普遍的に成り立つ」という言葉で、
どういうことを期待しているのか不明。

>「超越的な方法を認めなくても結果的に有効」であって欲しいのです。

モデル理論は超越的であると私は思いますが、
あなたは、なぜ、違うと思うのでしょうか？