形式科学

形式科学（けいしきかがく、英: formal science）とは、形式体系に関係する科学の総称である。論理学、数学、統計学に加え、計算機科学、情報理論、情報学、システム科学、言語学、ミクロ経済学などといった分野の理論ベースの細分野（例えば、計算機科学のうち理論計算機科学）がこれに含まれる。