数学月間の会SGKのURLは，https://sgk2005.org/
1
3
5
6
7
0
4
4
目次
チューリングの停止問題，グレゴリィ・チェイチン
証明可能性の限界（１）
証明可能性の限界（２）
証明可能性の限界（３）
有限な公理集合では，証明できない無数の命題が存在します．
SCIENTIFIC AMERICAN OCTOBER 2018，The Unsolvable Problem