しょうめい【証明】とは|一般用語
(1)真実であること,正しいことを明らかにすること。「無実を―するもの」(2)〔数・論〕真であると前提されるいくつかの命題(公理)を用いて,ある命題(定理)が真であることを論理的手続きに従って導くこと。
か
か
け
お
し
し
し
か
う
あ
け
こ
お
し
き
し
い
き
し(1)真実であること,正しいことを明らかにすること。「無実を―するもの」(2)〔数・論〕真であると前提されるいくつかの命題(公理)を用いて,ある命題(定理)が真であることを論理的手続きに従って導くこと。