形式主義 (数学)

数学の哲学における形式主義（けいしきしゅぎ、英: formalism）とは、数学を形式的な記号の操作と見なす立場である。この立場において、数学的命題は特定の意味を持たない記号の列として扱われ、証明とは、あらかじめ定められた規則（公理と推論規則）に従って記号列を変形していく操作（ゲーム）であると捉えられる。