Theorem 2.2.25 (Tennenbaum). Assuming that:

• $M=(M,\oplus ,\otimes ,\preccurlyeq ,n_0,n_1)$ a countable non-standard model of $\mathrm{PA}$