---
tag: XBYX4TJ3JH
kind: concept
name: Negation consistency
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section N
    note: adopted
    mention: wikipedia://en/76765067#MXPP
    sections: [Summary]
inventory: [5TZGFKSMBZ]
---

## Summary

The consistency of a logical system in which no statement is both provable and disprovable, including its negation.