新井先生って
本当に数理論理学者なの？
ってくらい数理論理学について話してるところを見たことがない