ちなみに論理学や数学基礎論は文学部哲学科だった
こいつらは数学じゃないと思うが