Beweisbarkeit ist eine ‘interne Relation’ des Satzes zu den Axiomen.