数学は言葉

計算とは何かを読むつもりで、その前に読んだもの。
数学的な論理構築の意味が、何となく理解できた（気がする）。

数学は言葉―math stories