本質的不完全性
Def:
本質的不完全性
理論
$ T
が
本質的不完全
である
$ \iff
$ T
の任意の拡大理論が
不完全
である
本質的不完全な理論の例
Tarski-Mostowski-Robinson算術
$ \sf R