健全性とは？
けんぜんせい
証明できるものはすべて本当に正しい、という証明体系の大切な性質だよ。
健全性とは、証明の体系が「証明できるものはすべて本当に正しい」という性質を持つことだよ。もし健全でない体系だと、うそのことも証明できてしまうことがあって危ないね。正しい証明体系であることの大切な条件の一つだよ。
つかいかた・れいぶん
「正しい推論のルールを使えば、正しい答えしか出てこない」ことを健全性というよ。
このことばを シェア
さいごの こうしん: