不完全性定理 - 白のカピバラの逆極限 S.144-3で話していてなんか違和感があった理由がわかってきました。他の皆さんは最初から証明の方に重きを置いているので弱い算術とかも割りと普通に受け止められるのではないかと(もしくは切り替えが効いているかです…