遺伝的決定不能性
Def:
理論
$ T
が
遺伝的決定不能
であるとは,
$ T
の任意の部分理論が
決定不能
であることである.
その他
本質的遺伝的決定不能性