---
tag: HMFHQ26GQY
kind: concept
name: Inconsistent arithmetic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section I
    note: adopted
    mention: wikipedia://en/76765067#WNT5
    sections: [Summary]
inventory: [KKRPFXM55C]
---

## Summary

An arithmetic system in which a contradiction can be derived, violating the principle of consistency.