難解科目の頂上に君臨する数学基礎論は実は評価が甘かったりもするｗ