本質的遺伝的決定不能性
Def?:
#TODO
理論
$ T
が
本質的遺伝的決定不能
であるとは，
任意の理論
$ U
について，
$ T + U
が
無矛盾
なら
$ U
は
決定不能
．
Memo
Albert Visser
による語源らしい．