コトバンクはYahoo!辞書と技術提携しています。

公理系 コウリケイ

3件 の用語解説(公理系の意味・用語解説を検索)

デジタル大辞泉の解説

こうり‐けい【公理系】

一つの理論体系の出発点となっている公理の集まりそれぞれの公理は互いに独立し、かつ矛盾のないことが必要。公理群。

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典 第2版の解説

こうりけい【公理系 axiomatic system】

公理系とは,公理的体系の略称であって,とくに自然科学的学問を体系づける方法のひとつである。そのもっとも古い,しかも有名な例はユークリッド幾何学の体系であるが,20世紀に入って,いっそう明確な性格づけが与えられるようになった。その基本的な着想はつぎのようなものである。まず,一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して,それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

大辞林 第三版の解説

こうりけい【公理系】

数学の理論体系を構成するにあたって、その理論の基礎となっている公理の全体。公理系を構成する公理には無矛盾性が要求される。公理群。

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内の公理系の言及

【幾何学基礎論】より

…そして19世紀後半にはユークリッドの欠陥を補う研究がパッシュM.Pasch(1843‐1930)らによって行われた。これらの先駆的研究の後,ついにヒルベルトによって,ユークリッド幾何学の完全な公理系system of axiomsが与えられ,それが純粋な論理体系として完ぺきな形で構成されたのである。 《ストイケイア》における定義をみると,その中には,円の定義のように推論で有効かつ本質的に用いられているものもあるが,点や直線の定義のように推論でその内容が全然効いていないものもある。…

※「公理系」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

公理系の関連キーワード四辻公理公理公理主義無矛盾性公理的方法幾何公理公理群公理論代数系誤差の三公理

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone

公理系の関連情報