Das Problem eine mathematische Entscheidung eines Theorems zu finden könnte man mit einigem || gewissem Recht das Problem nennen einer Formel || Satzform mathematischen Sinn zu geben.