無矛盾性

日本語

名詞

無矛盾性 (むむじゅんせい)

1. (論理学) ある公理系で互いに矛盾する公理が何も存在しないこと。また、そこからの命題を導き出すのに論理的な矛盾がないこと。整合性。