日本語

編集

名詞

編集

(せいごうせい)

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