It still boggling we haven't proved the sum of pi + e is irrational. Who cares anyway?
I can’t tell if you’re just joking. Proofs of facts that seem obvious or irrelevant are very important not for the yes-no question they answer but for the development of the deep mathematical theory they necessitate.
Indeed, one could say that all we know about numbers are their properties. A number is just an existence assertion about an object fulfilling some property (possibly uniquely).