Probar que todas estas relaciones y funciones son expresables es sencillo si son "recursivas", es decir, si pueden calcularse o verificarse mediante un algoritmo, ya que puede demostrarse que toda relación recursiva es expresable en una teoría aritmética.