Pergunta relacionada ao décimo problema de Hilbert
Dado n∈Nn∈Nn \in \mathbb{N} e p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] pode-se definir a seguinte fórmula na linguagem da aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Eu gostaria de mostrar que existem infinitos triplos (n,p,q)(n,p,q)(n,p,q) de modo que nem φ(n,p,q)φ(n,p,q)\varphi(n,p,q) nem ¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) é um teorema …