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