---
tag: WK2P0E82B4
kind: concept
name: Post consistency
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#LA7N
    sections: [Summary]
inventory: [S14WWVZ2MA]
---

## Summary

A theory is "Post consistent" (or absolutely consistent) if and only if there is at least one statement in the language of the theory that is not a theorem; otherwise, it is "Post inconsistent".