We show that the set of natural numbers has an exponential diophantine definition in the rationals. It follows that the corresponding decision problem is undecidable.

中文翻译：

---

指数的二番石问题

我们证明了自然数集在有理数中具有指数丢番图定义。由此可见，相应的决策问题是不可判定的。