On the arithmetization of the syntax of first-order arithmetic