system of axioms

Japanese: system of axioms(英語表記)systemofaxioms
system of axioms

...Then, in the second half of the 19th century, M. Pasch (1843-1930) and others carried out research to make up for Euclidean deficiencies. After these pioneering studies, Hilbert finally provided a complete system of axioms for Euclidean geometry, which was perfectly constructed as a purely logical system. Looking at the definitions in the Stoicheia, some of them are valid and essentially used in reasoning, such as the definition of a circle, but some, such as the definitions of points and lines, have no effect at all in reasoning. ...

*Some of the terminology explanations that mention "system of axioms" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

Japanese:

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

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

出典|株式会社平凡社世界大百科事典 第2版について | 情報

<<:  systemic lupus erythematodes

>>:  System of National Accounts

Recommend

Pearson, RG (English spelling)

…Hard acids and bases, and soft acids and bases, ...

Euler Circle - Oi-ra-en

…△There are four circles (i.e., one inscribed cir...

Colchicum

...Autumn-planted bulbous plant of the genus Colc...

Wycombe Windsor

…A simple chair made by lathe turning in the late...

Acchaiwori Family - Acchaiwori Family

A distinguished family of medieval Florence. The f...

Tabira [town] - Tabira

An old town at the northwestern tip of the Kita Ma...

aer (English spelling) aer

…In one fragment of his work, he wrote, “Just as ...

Temple Law - Jiinho

Written laws created individually at temples, and ...

Benen - Benen

1202‐80 (Kennin 2‐Koan 3) A Rinzai sect monk in th...

Ryu Kanjun

A girl who sacrificed herself for the liberation ...

Barth, John

Born May 27, 1930 in Cambridge, Maryland. American...

Utopia - Utopia (English spelling)

A political fantasy published by Thomas More in 1...

Gyokuto [town] - Gyokuto

A town in Tamana County in the northwest of Kumamo...

Idris Alawma

King of the Kanem-Bornou Empire, which ruled the a...

Skjoldborg, J.

… In the 20th century, people of common origins f...