無矛盾性検査
【むむじゅんせいけんさ】
【mumujunseikensa】
一致性检验