Hilbert's twenty-fourth problem

Criteria of simplicity for mathematical proofs

Hilbert's twenty-fourth problem is a mathematical problem that was not published as part of the list of 23 problems but was included in David Hilbert's original notes. The problem asks for a criterion of simplicity in mathematical proofs and the development of a proof theory with the power to prove that a given proof is the simplest possible.

This keyword could refer to multiple things. Here are some suggestions: