论文标题
根本上没有最少的理论
There are no minimal essentially undecidable Theories
论文作者
论文摘要
我们表明，在递归列举的基本不确定的理论中，没有关于可解释性的理论。
We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.
