『数学セミナー 2018年2月号』の特集は「竹内外史と数学基礎論」でした。www.nippyo.co.jp証明論や有限という概念などの数学的な部分は、自分にとって畑違いだったこともあり、ほとんど理解できませんでした。 一方、「ここ数年、数学基礎論になんとなく興味…