むむじゅんせい

consistency (of an axiomatic system)