カテゴリー
最近更新したページ
メニューバーA
ここは自由に編集できるエリアです。
メニューバーB
ここは自由に編集できるエリアです。

せいごうせい 【整合性】

〔consistency〕ある公理系において、どの論理式についても、それとその否定とが同時には証明できないこと。整合性。健全性。
2005年10月07日(金) 20:49:47 Modified by mizunobara




スマートフォン版で見る