形式理論

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

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

脚注