無矛盾性の意味 | Babel Free

名詞

定義

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