Pour-Elの定理
Thm:
M. B. Pour-El; "Effectively extensible theories"
無矛盾な
再帰的可算理論
について
実効的本質的不完全
$ \iff
本質的創造性
$ \iff
実効的分離不能