本質的決定不能性
定義
$ Tの言語における任意の論理式$ \varphiが$ T \vdash \varphiか$ T \nvdash \varphiのどちらか?をを有限時間で判定するアルゴリズムが存在しないことを指す.
Memo
$ Uを本質的に決定不能な理論とすると,$ U \rhd Tなら$ Tは本質的に決定不能になる. example:
連結の理論$ \sf TCの本質的決定不能性は,Robinson算術$ \sf Qとの間で$ \sf TC \lhd\rhd Qであることが分かったので系として得られている. $ Uが無矛盾で,$ U \rhd Tだとする.
remark: