むむじゅんせい

  1. noun (common) (futsuumeishi)

    consistency (of an axiomatic system)