>>452
そいつのqiita更新されてたぞ
ゲーデルの不完全性定理の正しいステートメントだとさ
https://qiita.com/iHdkz/items/ace352cc14ca9295a365