The same question could be posed for many other mathematical and theoretical computer science constructs. It's a mathematical building block, a node in the grap

The same question could be posed for many other mathematical and theoretical computer science constructs. It's a mathematical building block, a node in the graph that is the world of mathematics, and it's possible it plays a part in some advance if you were working in that field. Look at eg the Curry's Paradox part on the WP page for a taste.