De manera rigurosa, se dice que una relación R(n1, ..., nk) es expresable en una teoría formal aritmética si existe una fórmula φ(x1,..., xk) de forma que si la relación R(n1, ..., nk) se cumple para unos ciertos números n1, ..., nk entonces puede demostrarse la fórmula φ([n1],..., [nk]); y si la relación no se cumple, entonces dicha fórmula puede refutarse. Véase Ivorra,, §6.3 o Boolos, Burgess y Jeffrey, 2007, §16 (donde se denomina definability). Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 27 de julio de 2011.. Boolos, George; Burgess, John P.; Jeffrey, Richard C. (2007). Computability and logic(en inglés). Cambridge University Press. ISBN9780521701464..
De manera rigurosa, se dice que una relación R(n1, ..., nk) es expresable en una teoría formal aritmética si existe una fórmula φ(x1,..., xk) de forma que si la relación R(n1, ..., nk) se cumple para unos ciertos números n1, ..., nk entonces puede demostrarse la fórmula φ([n1],..., [nk]); y si la relación no se cumple, entonces dicha fórmula puede refutarse. Véase Ivorra,, §6.3 o Boolos, Burgess y Jeffrey, 2007, §16 (donde se denomina definability). Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 27 de julio de 2011.. Boolos, George; Burgess, John P.; Jeffrey, Richard C. (2007). Computability and logic(en inglés). Cambridge University Press. ISBN9780521701464..