>>718
論理学で完全性定理を証明するのは、
解析学でコーシーの定理を証明するのと同じことだよ。

位相空間を定義するのと同じように、
言語Lや論理式を定義して、議論領域Mを定義して、
それらの間の関係や性質を調べてるだけだよ。