Beweisbarkeit ist eine ‘interne Relation’ des Satzes zu den Axiomen. & Schlußges