What's the consensus on natural numbers?

I've read that they exist in a non-tautological way, which also matches common sense (obviously not enough in math).