Hilbert's twenty-first problem

Hilbert's twenty-first problem is one of the open problems proposed by the mathematician David Hilbert in 1900 during the International Congress of Mathematicians in Paris. Specifically, the problem revolves around the foundations of mathematics and the nature of mathematical proof. The twenty-first problem can be stated as follows: **The problem seeks to establish a set of axioms for all of mathematics.