> we need to use specific properties of numbers to prove whether they are irrational Indeed, one could say that all we know about numbers are their properties.

> we need to use specific properties of numbers to prove whether they are irrational 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).