---
tag: QZ3NRM3S3D
kind: concept
name: Weak completeness
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section W
    note: adopted
    mention: wikipedia://en/76765067#QPTN
    sections: [Summary]
inventory: [TE7CW27DM4]
---

## Summary

The property of a logical system where if a statement is semantically valid (true under all interpretations), then there is a proof of the statement within the system.