So seltsam es klingt, so scheint meine Aufgabe das Gödelsche Theorem betreffend (bloß) darin zu bestehen, klar zu stellen, was in der Mathematik so ein Satz bedeutet, wie: “angenommen, man könnte dies beweisen”.