---
tag: 319P85G2C1
kind: concept
name: Negation completeness
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section N
    note: adopted
    mention: wikipedia://en/76765067#IE9N
    sections: [Summary]
inventory: [7PWA1MYVXG]
---

## Summary

The property of a logical system where every statement or its negation is provable within the system.