翻訳|consistency
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…一方,公理系は,その公理から矛盾が生ずるようなものであれば,その存在理由を失ってしまうといってよい。それゆえ,当然のことながら,公理系においては矛盾の生じないこと,すなわち,無矛盾性consistencyが要求される。さらに,公理のうちには余分なもの,つまり他の公理から得られるものが含まれていないことが望ましい。…
※「無矛盾性」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
ユーラシア大陸、北アメリカ大陸北部に広く分布し、日本では北海道にエゾヒグマが生息する。成獣は体長2メートル以上、体重300キロにもなり、日本最大の陸生動物として知られる。雑食性で草や木の実、サケ、シ...