axiomatic system
「axiomatic system」の意味意味
- 名 公理体系
「axiomatic system」の例文例文
The axiomatic system of Euclidean geometry is well known.
ユークリッド幾何学の公理体系はよく知られている。
「axiomatic system」のコアイメージコアイメージ
公理（無証明の基本命題）を出発点にして規則的に定理を導く形式体系
「axiomatic system」の英英英英
A formal mathematical structure in which axioms serve as starting points and theorems are obtained by applying specified inference rules.
「axiomatic system」の語源語源
axiomatic systemは、古代ギリシャ語のaxioma（公理）とギリシャ語のsystēma（組織された全体）が結びついてできた表現で、数学において公理から理論を組み立てることを示す。
「axiomatic system」のコラムコラム
- 公理体系は整合性（矛盾がないこと）、完全性（命題の決定可能性）、独立性（公理間の依存がないこと）といった性質で評価されることがある
おすすめの単語帳
1 / 1
