形式体系とは？
けいしきたいけい
記号・公理・推論規則をきちんと決めた、証明を機械的に確認できる論理の枠組みだよ。
形式体系とは、使う記号・出発点となる公理・推論のルールをすべて明確に決めた論理の枠組みのことだよ。このルールに従えば、証明が正しいかどうかを機械的に確認できるんだ。コンピュータで証明を検証するときにも使われるよ。
つかいかた・れいぶん
記号とルールをすべてきっちり決めた、論理の枠組みのことを形式体系というよ。
このことばを シェア
さいごの こうしん: