>>185
それだね。
日本の数理論理学の最高峰だと思う。