Title: Completeness, compactness, and undecidability
Subjects: Predicate calculus, Symbolic and mathematical Logic, Calculus, history, Logic, symbolic and mathematical