On the other hand, it is proven that if you need to count things, the only thing you can discover/invent is the natural numbers.