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