Linked from

The 21 pages that link to Gödel's completeness theorem, each with the reason it gives.

• First-order logicRelated: It shows that semantic consequence in first-order logic has a matching proof system.

• Model theoryRelated: It equates truth in every structure with formal provability.

• Classical logicRelated: Gödel's completeness theorem links first-order validity with classical provability.

• Logical consequenceRelated: Completeness connects semantic consequence back to formal derivability.

• Mathematical logicRelated: It establishes that first-order proof rules capture semantic consequence.

• Peano arithmeticRelated: It distinguishes provability in Peano arithmetic from truth in its standard model.

• EntscheidungsproblemRelated: Completeness ensures validity can be enumerated by proofs, even though it cannot be decided in general.

• Foundations of mathematicsRelated: It distinguishes the completeness of first-order logic from the incompleteness of particular theories.

• Consistency proofRelated: It connects syntactic consistency of first-order theories with having a model.

• Independence (mathematical logic)Related: It connects syntactic nonprovability with models that demonstrate independence.

• Löwenheim–Skolem theoremRelated: Completeness links syntactic consistency to model existence, a key setting for size arguments.

• Lindenbaum's lemmaRelated: Lindenbaum extensions support the construction of models needed to prove this theorem.