無む矛む盾じゅん性せい

noun

consistency (of an axiomatic system)

Technical term in logic and mathematics referring to the property of a formal system in which no contradiction can be derived.

• 公こう理り系けいの無む矛む盾じゅん性せいを証しょう明めいする。

  We prove the consistency of the axiomatic system.