 The completeness question for the first order predicate calculus was stated precisely and in print for the first time in 1928 by Hilbert and Ackermann in their text Grundzüge der theoretischen Logik (Hilbert and Ackermann 1928), a text with which Gödel would have been quite  familiar.[6]