Consideramos la relación fundamental entre la aritmética y la teoría de conjuntos. Nuestro objetivo es criticar la construcción de modelos aritméticos estándar como base para la verdad aritmética. Nuestro método es enfatizar la imagen incompleta de ambas teorías y tratar los modelos como sus contrapartes sintácticas. Insistir en la imagen incompleta nos permitirá argumentar a favor de la revisabilidad de la interpretación del modelo estándar. Comenzamos caracterizando brevemente la expansión de la "verdad" aritmética proporcionada por la interpretación en una teoría de conjuntos. Las versiones interpretadas de una teoría aritmética en teorías de conjuntos generalmente tienen más teoremas que la original. Sin embargo, esta expansión de teoremas no es completa. Utilizando esto, el multiversalista de teoría de conjuntos concluye que hay múltiples modelos estándar legítimos de aritmética. Sugerimos una conclusión multiversalista diferente: si bien hay una estructura aritmética única, su interpretación en cada universo puede variar o incluso no ser posible. Continuamos definiendo el problema de coordinación. Consideramos dos comunidades independientes de matemáticos responsables de decidir sobre nuevos axiomas para ZF y PA. ¿Qué tan probable es que estén coordinados con respecto a la interpretación de PA en ZF? Demostramos que es posible tener extensiones de PA no interpretables en una teoría de conjuntos dada ST. Mostramos además que el número de extensiones de aritmética es incontable, mientras que las extensiones interpretables en ST son contables. Finalmente argumentamos que este hecho sugiere que la coordinación solo puede funcionar si se asume desde el principio.