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