@article{AMLG_1985__25_138039, author = {K. Sch\"utte and S.G. Simpson}, title = {Ein in der reinen {Zahlentheorie} unbeweisbarer {Satz} \"uber endliche {Folgen} von nat\"urlichen {Zahlen.}}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {75--90}, publisher = {mathdoc}, volume = {25}, year = {1985}, zbl = {0591.03041}, url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138039/} }