公理体系
「公理体系」の英語
「公理体系」は英語で axiomatic system と言います。公理を出発点に定理を導く数学・論理学の専門用語で、論文や教科書でもそのまま使えます。
「公理体系」の英語の使い分け
公理から定理を導く数学・論理学の専門用語です。
「公理体系」の例文
The axiomatic system of Euclidean geometry is well known.
ユークリッド幾何学の公理体系はよく知られている。
コアイメージ
公理（無証明の基本命題）を出発点にして規則的に定理を導く形式体系
英英
A formal mathematical structure in which axioms serve as starting points and theorems are obtained by applying specified inference rules.
語源
axiomatic systemは、古代ギリシャ語のaxioma（公理）とギリシャ語のsystēma（組織された全体）が結びついてできた表現で、数学において公理から理論を組み立てることを示す。
コラム
- 公理体系は整合性（矛盾がないこと）、完全性（命題の決定可能性）、独立性（公理間の依存がないこと）といった性質で評価されることがある
「公理体系」のレベル別の例文
- 中学
An axiomatic system starts with basic rules.
- 高校・英検2級
Researchers examined the consistency of the axiomatic system.
- TOEIC・ビジネス
The report describes the axiomatic system used in the model.
- 日常会話
Can you explain what an axiomatic system is?
「公理体系」を英語にするときのよくある間違い
× axiom system
公理体系を表す標準的な複合語は axiomatic system です。