A complete proof would show that the property displayed in quotes in the previous sentence is definable in the language of Peano arithmetic by a Σ 1 0 {\displaystyle \Sigma _{1}^{0}} formula.
Комплетан доказ би показао да је имовина приказана у наводницима у претходној реченици и дефинише се на језику Пеано аритметике од стране  Σ 1 0 {\displaystyle \Sigma _{1}^{0}} формула.