---
tag: HWC687ES0Q
kind: concept
name: Effectively decidable theory
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#BWB6
    sections: [Summary]
inventory: [Q7991TCMXC]
---

## Summary

A theory in which there exists an algorithm capable of determining whether any given statement within the theory is true or false.