WHAT AM I？

私は現在、科学大数理計算のB3で数理論理学の中でもGödelの第2不完全性定理に興味を持っています。
様相論理を用いたアプローチを特に好みますが、semi-classical arithmeticやreflection principal、non-standard modelなどにも非常に興味があります。