>>861みたいな奴は、様相論理は研究はゴミだとか言っといて、
ゲーデルも興味を持って研究を進めていたと知ると
途端に態度変えるんだろうなあ。
数学を何か勘違いしてるよ。