数学ガール ゲーデルの不完全性定理

本日読了。

数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)

これも再読了。10章以外は理解できた。不完全性定理って、何となく、カントールの無限集合に似ている・・・。形式的体系の連なりと無限集合の連なり、不完全性の証明と対角線論法って何となく対応付けされてしまう。
ところで、本論とは別に、数学的帰納法が自然数を特長付ける「公理」である、という見方は面白かった。自然数かダーっと一直線に可算に並んでいるからこそ、数学的帰納法が使えるのですね。