形式体系
従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。
数学における形式体系は以下の要素から構成される:
式を構成するのに使われる有限個の記号(アルファベット)。
文法。すなわち、正しい式を記号から構成するための方法。例えば、論理学で言えば任意の式(記号を適当に並べたもの)が整式かどうかを決定する何らかの手順が存在する。
公理群または公理スキーマ。各公理は整式でなければならない。
推論規則群。
定理群。
形式体系が帰納的であるとは、公理群と推論規則群が(文脈によって)帰納的集合または帰納的可算集合である場合を意味する。
人によっては「形式主義」と「形式体系」をほぼ同義に扱うが、「形式主義」は数学や論理学以外にも適用される用語である。例えば、ポール・ディラックのブラ-ケット記法は物理学における形式主義である。