论文标题
如何逃脱Tennenbaum的定理
How to escape Tennenbaum's theorem
论文作者
论文摘要
我们在定义上构建了一种理论等同于一阶Peano算术PA和该理论的非标准可计算模型。相同的技术使我们能够在定义上构建一个理论等同于具有可计算模型的zermelo-fraenkel集理论ZF。
We construct a theory definitionally equivalent to first-order Peano arithmetic PA and a non-standard computable model of this theory. The same technique allows us to construct a theory definitionally equivalent to Zermelo-Fraenkel set theory ZF that has a computable model.
