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.
Задача ставит вопрос о критерии простоты в математических доказательствах и разработке теории доказательств с возможностью доказать, что данное доказательство является самым простым.