1. チューリングの停止問題，グレゴリィ・チェイチン

証明可能性の限界（１）
証明可能性の限界（２）
証明可能性の限界（３）

有限な公理集合では，証明できない無数の命題が存在します．
SCIENTIFIC AMERICAN OCTOBER 2018，The Unsolvable Problem