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?
Pada tahun 1928, Hilbert dan Wilhelm Ackermann menerbitkan Grundzüge der theoretischen Logik (Prinsip-prinsip logika matematika), suatu pendahuluan kepada logika tingkat pertama di mana soal kelengkapan diungkapkan: Apakah aksioma-aksioma sistem formal memadai untuk menurunkan setiap pernyataan yang benar dalam semua model sistem itu?