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.
تطالب المشكلة بمعيار البساطة في البراهين الرياضية وتطوير نظرية الإثبات مع القدرة على إثبات أن دليل معين هو أبسط طريقة ممكنة.