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 form
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event