---
tag: 1E1EK086WA
kind: concept
name: Incompleteness
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section I
    note: adopted
    mention: wikipedia://en/76765067#E277
    sections: [Summary]
inventory: [R8CRB3AB2V]
---

## Summary

The property of a logical or mathematical system where not all truths within the system can be proven using the system's rules.