一様本質的不完全性
Def:
$ Tが一様本質的不完全である
$ \iff$ Tの無矛盾な再帰的拡大理論のr.e.列$ T_i に対して，全ての $ T_iで独立な文が存在
Col: 理論が一様本質的不完全なら本質的不完全
$ Tが一様本質的不完全$ \implies$ Tは本質的不完全