Nun habe ich aber doch gesagt: wenn man aus α ∙ β ∙ γ A ableitet so betrachtet man α ∙ β ∙ γ gar nicht als Satz!
     Heißt das nicht: in der Definition U ist die rechte Seite nicht in demselben Sinne ein Satz wie die linke, denn im System der Sätze der linken Seite kann die Funktion I nicht vorkommen?