@futurebird Dedekind showed that any two models of Peano arithmetic are isomorphic. In laymen's terms, if there is something that works like we expect arithmetic to, it will have just the one zero.
This is not obvious, and your student is to be commended for trying things out!