ゲーデルの不完全性定理
https://note.com/yoriyuki/n/ndf4c1fafbc9c
以下の理論では成り立たない
https://martbm.hatenablog.com/entry/20180215/1518692374
プレスバーガー算術
原始帰納的算術
実閉体
https://ja.wikipedia.org/wiki/実閉体#:~:text=数学における実閉体,がその例を与える。
複素閉体
ゲーデルの不完全性定理の誤解・誤用