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

system of axioms systemofaxioms

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

【幾何学基礎論】より

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

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

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

system of axiomsの関連キーワードSemesterEMS(energy management system)シラーSystem VSystemディレクトリーAcademic Yearイージス艦携帯電話Mac OSX Window System

今日のキーワード

天網恢恢疎にして漏らさず

《「老子」73章から》天の張る網は、広くて一見目が粗いようであるが、悪人を網の目から漏らすことはない。悪事を行えば必ず捕らえられ、天罰をこうむるということ。...

続きを読む

コトバンク for iPhone

コトバンク for Android