しょう-めい [0] 【証明】 （名）スル （１）理由や根拠を明らかにして事柄が真実であることや判断・推理などが正しいことを明らかにすること。「無実を―するもの」 （２）〔数・論〕 真であると前提されるいくつかの命題（公理）を用いて，ある命題（定理）が真であることを論理的手続きに従って導くこと。