数学基礎論とくにモデル理論と算術に興味があります。ぼちぼちやっていければ