Comment by cscurmudgeon

I would say that the Von Neumann construction and PA try to capture the natural numbers. It is a philosophical stance which can be called platonism. What you say is called the formalist stance.