充足関係を、構造と閉論理式の集合との関係について拡張できる。T が 言語 L の閉論理式の集合で、M が L-構造のとき、M |= T とは、T に属する任意の閉論理式 p に対し、M |= p となることである。このとき、M を T のモデルと呼ぶ。また、閉論理式の集合を…

言語 L の任意の閉じた論理式の集合を「理論」と呼ぶ。

記号列の集合を形式的な規則で定義したものを形式的体系（formal system）と呼び、記号列がその集合に属することをこの形式的な規則に沿って、示したものをその体系における証明と呼ぶ。

ついでに、何かを書き込もうとしたのであった。 以上