Que las relaciones presentadas en la sección anterior —como — sean expresables, implica que una teoría formal aritmética es lo suficientemente potente como para «hablar» de las características de una teoría formal arbitraria y, en particular, de sí misma.