systemofaxioms(その他表記)systemofaxioms

世界大百科事典(旧版)内のsystemofaxiomsの言及

【幾何学基礎論】より

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

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

出典|株式会社平凡社「世界大百科事典(旧版)」

立春から数えて 88日目で,現行暦では5月2日頃にあたる。八十八夜を過ぎればもはや晩霜も終りになるので,農家ではこれを種まきや茶摘み,その他の農作業開始の基準としている。日本では明暦3 (1657) ...

八十八夜の用語解説を読む