投稿日時: 2020/11/02
システム管理者
システム管理者
証明可能性の限界（１）
証明可能性の限界（２）
証明可能性の限界（３）
有限な公理集合では，証明できない無数の命題が存在します．
SCIENTIFIC AMERICAN OCTOBER 2018，The Unsolvable Problem
数学月間の会SGKのURLは，https://sgk2005.org/
1
3
5
6
1
8
7
8