Während typische aussagenlogische Fragestellungen durch z. B. das Aufstellen von Wahrheitstafeln sicher beantwortet werden können, ist dies für prädikatenlogische Fragestellungen weit unklarer. Dieses Kapitel behandelt formale Kalküle, die dafür ein Hilfsmittel sein können, und beweist für einen speziellen solchen Kalkül die Vollständigkeit mit Hilfe der Henkin-Konstruktion. Als Folgerung ergibt sich der Kompaktheitssatz der Prädikatenlogik.