论文标题
PA模型中的有限和无限素数
Finite and infinite primes in models of PA
论文作者
论文摘要
我们表征了Peano算术（PA）的模型，其无限许多无限的素数P，使P + 2没有有限的素数。
We characterize models of Peano arithmetic (PA) with infinitely many infinite primes p such that p + 2 has no finite prime divisor.
