![](https://s.togetter.com/static/web/img/placeholder.gif)
y.
@waidotto
数理論理学(数学基礎論)と群論,数論.計算可能性理論と形式言語理論,モデル理論.詳細はURL参照.