形式科学

数学や論理学（数学基礎論），計算機科学など，「形式の扱い」に特化した分野に関する記事です．