理論

数理論理学における理論 (英: theory) もしくは公理系 (英: axiomatic system) とは、文の集合である。とくに形式論理の用語であることを明確にする必要がある場合、形式理論 (英: formal theory) という。理論の元を公理 (英: axiom) という。

定義の上では文の集合は何でも理論になるが、通常は集めて意味があるような(たとえば無矛盾性や完全性、健全性などの性質を満たす)理論を考える。