なんか色々誤解をしてそうなのでWikipedia(en) も読むことにしたい。 Gödel's incompleteness theorems - Wikipedia これからも追記予定 二つの完全性 syntactically complete: Aもしくは￢Aが証明できる semantically complete: 全ての恒真式が証明可能 ・…