axiomatism.com

Glossary

axiom の関連単語を、語源・Derivation（派生）・Compound（複合語）・今後の派生可能性に分類して整理しています。Guidelineに掲載した国際規格（ISO 1087, ISO 704, ISO 24613 など）に基づきます。

1. Etymology

OED: axiom, n.による。

axiom

Pronunciation (OED)
British /ˈaksiəm/(AK-see-uhm)|U.S. /ˈæksiəm/(AK-see-uhm)
Etymology
A borrowing from French. Etymons: French axiome. さらに Latin axiōma, Ancient Greek ἀξίωμα (axiōma) に遡る。
接頭辞 Axi-
Axi-: ギリシャ ἄξιος (axios) に由来。「価値ある、ふさわしい、同等の重みを持つ」の意。
接尾辞 -om
-om: ギリシャ -μα (-ma)。抽象名詞を作る接尾辞。結果・対象を表す。ἀξιόω (axióō, 価値あると認める) の行為の結果としての名詞。
Origin
古代ギリシャ語 ἀξίωμα (axiōma)
Meaning
「価値あるものと認める」を意味する ἀξιόω (axióō) に由来。「自明の真理」「主張に値する命題」の意。
Earliest use
1578年、John Lyly の著作に初出（OED）。
Definition
証明なしに真として受け入れられる命題。公理系の出発点となる基礎的な主張。

参照辞書 (Reference Dictionaries)

「Derivation」「Compound」に掲載する語が既存語であることを検証する際に参照する辞書です。

2a. Derivation（派生）

接辞（-ic, -ization, -ity など）を付与して形成された既存語。OED を一次参照として検証。

  • axiomata

    -ata (pl.)OEDWiktionary, OED (axiomata media), Oxford Reference

    axiom の複数形（ギリシャ・ラテン語型）。lemma → lemmata と同様。哲学・古典文脈で用いられる。axioms より稀。

  • axiomatic

    -icOEDOED, Merriam-Webster, OALD

    公理に基づく、公理的な。形容詞形。1797年、Greek axiomatikos より。

  • axiomatical

    -icalOEDOED

    axiomatic の古い形。1580年代に attest。

  • axiomatically

    -allyOEDOED, OALD

    公理に基づいて、自明の真理として。副詞形。

  • axiomatize

    -izeOEDOED

    公理化する。動詞。axiomatization の語基。

  • axiomatization

    -izationOEDOED, Merriam-Webster

    ある理論を公理の集合として再構成すること。公理化により、理論の構造が明確になる。1931年頃の初出。

  • axiomatizing

    -ingOEDOED

    公理化する行為・過程。axiomatize の現在分詞・動名詞形。理論を公理の集合として再構成する作業を指す。

  • axiomatics

    -icsMerriam-Webster

    (1) 公理の集合、公理化された体系。(2) 公理・公理系の研究・理論。

  • axiomaticity

    -ityMerriam-Webster

    ある領域が公理によってどの程度形式化されているかを示す度合い。

  • axiomatism

    -ismWiktionary, Merriam-Webster

    公理に基づいて体系を構築する主義・方法。公理的アプローチ。

2b. Compound（複合語）

2つ以上の語を組み合わせた複合語。OED の axiom / axiomatic 配下の compound を一次参照として検証。

  • axiomatic system

    OED (axiomatic)OED, Oxford Reference, Merriam-Webster

    公理と推論規則からなる形式的な体系。例：ユークリッド幾何、ペアノ算術、ZFC 集合論。

  • axiomatic method

    OED (axiomatic)OED, Oxford Reference, Britannica

    公理から論理的に体系全体を導出する手続き。アリストテレスの三段論法、ユークリッド幾何に起源。

  • axiom of choice

    OED (axiomatic)Merriam-Webster, Wikipedia, Stanford Encyclopedia

    集合論の基本公理。非空集合の族から各集合の元を1つずつ選ぶ選択関数の存在を主張。Zermelo 1904年。

  • axiom schema

    OED (axiomatic)Oxford Reference, Wikipedia

    無限個の公理を1つのスキーマで表す形式。一階述語論理などで用いられる。

3. 今後の派生可能性 (Future Derivation Possibilities)

ISO 704 の造語原則に基づく、今後採用・定義しうる派生語の候補。

  • axiom-ness

    axiom + -ness

    公理性・公理らしさ。直感的な性質を表す名詞化（-ness）。例：[Category: Noun, Aspect: Intuitive]

  • axiom-omorphism

    axiom + -omorphism

    異なる論理体系間の公理構造の対応。例：数論と幾何の論理を接合する写像。Common Logic (ISO/IEC 24707) の形式的実装に近い。

  • axiom-odynamics

    axiom + -odynamics

    公理動体力学。公理から定理が派生するエネルギーや流れの記述。

  • iso-axiomatic

    iso- + axiomatic

    同じ公理的構造を持つ。ギリシャ ἴσος (isos)「等しい、同じ」+ axiomatic。経営、量子力学、社会構造など、一見無関係な事象が同じ公理形式を共有するかを即座に判別可能にする。