無矛盾性に関する強さむむじゅんせいにかんするつよさ<む'む'じゅん'せい>　に　かんする　つよさ

Math.Konsistenzstärke