コンシステンシ 一致 一貫 一貫性 固さ 常山の蛇勢 平仄 整合性 無矛盾 硬さ 纏まり 辻褄 首尾貫徹
an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質