El segundo sí es un axioma, pero está formulado en lógica de segundo orden.
Esto significa que el segundo sí no se puede expresar de manera equivalente en lógica de primer orden, lo que lo hace más complejo y difícil de manejar.