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