axiomatizations
|ax-i-o-mat-i-za-tions|
🇺🇸
/ˌæk.si.ə.mə.taɪˈzeɪ.ʃənz/
🇬🇧
/ˌæk.sɪ.ə.mə.taɪˈzeɪ.ʃənz/
(axiomatization)
making into axioms
公理にすること
語源
「axiomatization」はギリシャ語と新ラテン語の要素に由来する。ギリシャ語の 'axioma'(ἀξίωμα) は「価値があると見なされるもの」「自明と考えられる命題」を意味し、これに英語で '-ize' と '-ation' に相当する接尾辞が結びついたものである。
ギリシャ語 'axioma' はラテン語・後期ラテン語へ渡り、英語の 'axiom' となった。そこから動詞 'axiomatize' が形成され、さらに名詞化して 'axiomatization' になった。
もともとは「自明な命題」などを意味したが、次第に「公理の集合」や「理論を公理で表す行為(公理化)」という現在の意味へ広がった。
品詞ごとの意味
名詞 1
the process or act of reducing a theory or system to a set of axioms; formulation of an axiomatic system.
理論や体系を公理の集合に還元する過程・行為(公理化)
Recent axiomatizations of the theory made its assumptions explicit.
その理論の最近の公理化は、仮定を明確にした。
同意語
反意語
名詞 2
a particular set of axioms chosen to characterize a theory or system (i.e., an axiomatic formulation).
ある理論や体系を特徴づける特定の公理の集合(公理体系)
There are multiple axiomatizations of geometry that emphasize different primitives.
基礎要素の違いを強調する幾何学の公理体系が複数存在する。
同意語
反意語
最終更新時刻: 2025/12/06 00:40
