Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. K. Schütte; S.G. Simpson — 1985 Archiv für mathematische Logik und Grundlagenforschung