Connections Between Arithmetic Theories And Infinite-State Systems