アクシオムとは何? わかりやすく解説 Weblio辞書 (original) (raw)

別表記:アクシオム

「axiom」とは

「axiom」は、数学論理学において、証明なしに真とされる基本的な命題を指す言葉である。これは、ある理論体系構築するための出発点となる。例えば、ユークリッド幾何学の「二点間の直線一つだけ引ける」というのが典型的な公理(axiom)である。

「axiom」の発音・読み方

「axiom」の発音は、IPA表記では /ˈæksiəm/ となる。これをカタカナにすると「アクシオム」と読む。日本人発音する際には「アクシオム」となる。

「axiom」の定義を英語で解説

An axiom is a statement or proposition which is regarded as being established, accepted, or self-evidently true. It serves as a starting point for deducing and inferring other truths. In mathematics, axioms are accepted as true without proof.

「axiom」の類語

「axiom」の類語としては、「postulate」、「principle」、「tenet」などがある。これらはすべて、証明なしに真とされる基本的な命題原則を指す言葉である。

「axiom」に関連する用語・表現

「axiom」に関連する用語としては、「theorem」、「corollary」、「lemma」などがある。これらは公理から論理的に導かれる命題を指す言葉である。

「axiom」の例文

以下に「axiom」を用いた例文10提示する1. The axiom states that through any two points, there is exactly one straight line.(公理は、任意の二点を通る直線はただ一つであると述べている。)
2. The axiom of equality is fundamental in mathematics.(等号公理数学において基本的である。)
3. The axiom is accepted without proof.(その公理証明なしに受け入れられる。)
4. The axiom is self-evident.(その公理自明である。)
5. The axiom serves as a starting point for further deductions.(その公理さらなる推論出発点となる。)
6. The axiom of choice is a controversial topic in mathematics.(選択公理数学において議論の的となる話題である。)
7. The axiom is universally accepted in the field of geometry.(その公理幾何学分野普遍的に受け入れられている。)
8. The axiom is fundamental to the theory.(その公理その理論にとって基本的である。)
9. The axiom is not subject to proof.(その公理証明対象ではない。)
10. The axiom of parallel lines is a basic principle in Euclidean geometry.(平行線公理ユークリッド幾何学基本的な原則である。)

2023年7月21日更新