完全性とは？
かんぜんせい
正しいことはすべて証明できる、という証明体系の性質だよ。
完全性とは「本当に正しいことは必ず証明できる」という証明の体系の性質だよ。証明できないことがあると、それは完全でない体系ということになるね。ゲーデルという数学者が証明したとても有名な定理があるよ。
つかいかた・れいぶん
「正しい答えには必ず証明がある」ことを完全性というよ。
このことばを シェア
さいごの こうしん: