I have always been interested in the fundamentals of mathematics. To know if all that is true is demonstrable.