現状固執氏は、大学で数学を学んだことはあるかもしれないが
数理論理学については全く知らないと思われる。

知っているのはラッセルのパラドックスと
ヒルベルト・プログラムの粗い概要、
そしてゲーデルの不完全性定理くらい
と思われる。

フォーシングはもとより完全性定理すら
ろくに知らないだろう。

それでは、数理論理学＝数学基礎論という
自らのナイーブな誤りに気付けない。