無む矛む盾じゅん性せい

む

じゅ

ん

せ

い

Meanings

1

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.

nothingness, none, ain't

矛halberd, arms, festival float

盾shield, escutcheon, pretext

性sex, gender, nature

Similar words

完かん全ぜん性せい
完全性 (completeness) is often discussed together with 無矛盾性; a system is complete if every true statement is provable, while consistency means no false statement is provable.
矛む盾じゅん
矛盾 means contradiction or inconsistency; 無矛盾性 is the abstract property of being free from such contradictions.

Etymology

Compound of 無 (mu, 'without') + 矛盾 (mujun, 'contradiction') + 性 (sei, '-ness, property'). The term is a direct calque from Western logical terminology.