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