I think in the book, Hardy mentions that Mathematics is one big tautology. Intial axioms setup a graph structure of theorems and the task of mathematicians is

I think in the book, Hardy mentions that Mathematics is one big tautology. Intial axioms setup a graph structure of theorems and the task of mathematicians is to find shortcuts in that graph.