Formalism

Etymology

ラテン語 fōrma「形」+ -ism。形式の教説。

語幹 form

ラテン語 fōrma に由来。「形、形態」。

接尾辞 -ism

名詞形成。「主義、理論、実践」。

Origin

D. ヒルベルト。20世紀初頭。

主要な提唱者

D. ヒルベルト

構造的特徴

構文（規則）の整合性

Meaning

数学の本質は、意味を持たない「記号」を一定の規則に従って操作する「形式」にある。

Earliest use

ヒルベルト・プログラム。20世紀初頭。

Definition

数学の本質は、意味を持たない記号を一定の規則に従って操作する形式にあるとする教説。構文（規則）の整合性。