無矛盾性 (むむじゅんせい) — consistency (of an axiomatic system) | Kumi Dictionary