コンテンツにスキップ

無矛盾性

出典: フリー多機能辞典『ウィクショナリー日本語版(Wiktionary)』

日本語

[編集]

名詞

[編集]

(むむじゅんせい)

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