形式系統(tǒng) xíng shì xì tǒng
數(shù)理邏輯名詞。指建立在形式語言基礎(chǔ)上的公理系統(tǒng)或自然推理系統(tǒng)。形式的公理系統(tǒng)通常由四個部分組成:(1)初始符號,它是構(gòu)成形式系統(tǒng)的基本單位。(2)形成規(guī)則,它規(guī)定了哪些初始符號序列是合式公式。(1)和(2)構(gòu)成一個形式語言。(3)公理,它是作為推理出發(fā)點(diǎn)的合式公式。(4)變形規(guī)則,它規(guī)定了如何從給定的一個或幾個公式經(jīng)過符號變換而推出另一公式。自然推理系統(tǒng)沒有公理,僅由(1)(2)(4)三部分組成。