2009-03-20から1日間の記事一覧

「形式的体系」と「証明」

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