@article{GDZPPN002045885,
title = {Ein in der reinen Zahlentheorie unbeweisbarer Satz \"uber endliche Folgen von nat\"urlichen Zahlen.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {25},
year = {1985},
pages = {75-90},
zbl = {0591.03041},
url = {http://dml.mathdoc.fr/item/GDZPPN002045885}
}
Schütte, K.; Simpson, S.G. Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985) pp. 75-90. http://gdmltest.u-ga.fr/item/GDZPPN002045885/