無矛盾性】 (Widerspruchsfreiheit ドイツ)公理系に何も論理的矛盾がないこと、すなわちある命題とその否定とが同時に成立しないこと、またはその公理系から矛盾した命題が導きだされないこと。整合性。健全性。 むめ【