形式理論

形式理論 (英: Formal theory) は以下のものを言及する：

• 形式言語において表現される理論 (en) のこと。
• 記号とその演算によって表現されるような公理系のこと。
• 形式体系。
• ゲーム理論に基づいた社会システムの理論的モデル化や力学系理論 (en) などの政治学における形式理論 (en)のこと[1]。