>From J. G. Kemeny "Undecidable problems of elementary number theory" Math.Annalen 135 (1958), page 166, footnote 9: "This result was found by Henkin and the author in 1947. But a search of the literature indicates that Skolem was aware of it much earlier."