---
tag: KYTG12Z059
kind: concept
name: Semi-decidable theory
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#AI56
    sections: [Summary]
inventory: [QW56HMAB1D]
---

## Summary

A theory for which there exists an algorithm that can enumerate all its theorems, but there may not be an algorithm to decide non-theorems.