What about natural numbers?

I've read that Godel's result and diagonalization procedure shows that they exist (not invented).