第二不完全性定理が成り立つ形式的体系として, IΣ_1 というものがあると聞きました. 最近の勉強は, IΣ_1 における第二不完全性定理の定式化です. IΣ_1 における自然数論が, 半環の公理を満たすことの証明が, これまたデリケートです. 数学的帰納法の適用の際…