>>416
よくわからんけど記号論理学ってこと?基礎論でやるみたいな
不完全性定理とか