---
tag: 3ANXZC3BEG
kind: concept
name: Recursively axiomatizable theory
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section R
    note: adopted
    mention: wikipedia://en/76765067#SYU8
    sections: [Summary]
inventory: [AC1W7794JJ]
---

## Summary

A theory for which there exists a recursive set of axioms that can generate all theorems of the theory through logical deduction.