無矛盾性

むむじゅんせい 0 【無矛盾性 】〔 consistency 〕ある公理系において ，どの論理式についても ，それとその否定とが同時には証明できないこと 。整合性 。健全性 。