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

system of axioms systemofaxioms

世界大百科事典内のsystem of axiomsの言及

【幾何学基礎論】より

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

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

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