Der G. S. wenn er nicht bewiesen ist, ist – könnte man sagen – der Ausdruck eines Problems.
Der
Sein
Sinn ist das Problem.