不完全性定理、様相論理、算術のモデル理論に関心があります