In 1928, Hilbert and Wilhelm Ackermann published Grundzüge der theoretischen Logik (Principles of Mathematical Logic), an introduction to first-order logic in which the problem of completeness was posed: Are the axioms of a formal system sufficient to derive every statement that is true in all models of the system?
Во 1928 година, Хилберт и Вилхелм Акерман го објавиле делото Grundzüge der theoretischen Logik ("Принципи на математичката логика"), кое претставува вовед во логиката од прв ред во која бил поставен проблемот на комплетност: "Дали аксиомите на формалниот систем се доволни за да се изведе секоја изјава која е точна во сите модели на системот?"