数学基礎論は難しすぎる。
もっと簡単なのを一般科目で。