Completeness: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Topics

Gödel’s completeness theorem strong completeness weak completeness Gödel’s first incompleteness theorem Metalogic Logic Formal system History of logic Formal logic Applied logic Modern logic Ancient logic Philosophy of logic Medieval logic Syllogistic fuzzy logic Predicate calculus

Dig Deeper: More Articles That Discuss This Topic

History of logic: Syntax and proof theory