 In the course of his lectures, Hilbert addresses the metalogical questions he had stated in “Axiomatisches Denken”, and (at least tacitly) shows how the questions of completeness, consistency, and decidability are to be answered for the propositional case. The completeness question for first-order logic is not explicitly raised in Bernays’s record of the lectures, though an attentive reader would easily have recognized it as an open problem. The following summer, Bernays produced a Habilitation thesis in which he developed, with full rigor, a Hilbert-style, axiomatic analysis of propositional logic. He presents the axiomatic system as an uninterpreted formal calculus; provides it with a semantics; and then proves the completeness theorem linking the syntax to the semantics in the form, “Every provable formula is universally valid, and vice versa”. He then proceeds to investigate questions of decidability, consistency, and the mutual independence of various combinations of axioms.