検索結果- 英語 - 英語

検索内容:

axiom

IPA(発音記号)
名詞
日本語の意味
仮定に基づく自明または必然的な真理。証明も反証も難しい基本原則、すなわち体系の根幹をなす前提となる命題。
このボタンはなに?

その哲学者は、道徳判断の根底にある自明の前提は人々が考えるほど自明ではないと主張した。

関連語

plural

plural

axioms

名詞
活用形 複数形
日本語の意味
「axioms」は「axiom」(公理)の複数形です。
このボタンはなに?

数学では、公理がすべての定理の基礎を成しています。

axiomic

形容詞
比較不可
日本語の意味
公理に関する
このボタンはなに?

哲学者は新しい論理体系のために公理に関する枠組みを提示した。

axiomized

動詞
活用形 分詞 過去
日本語の意味
'axiomized' は 'axiomize' の単純過去形および過去分詞形です。
このボタンはなに?

その哲学者は証明を簡単にするために自分の理論を公理化した。

axiomizes

動詞
活用形 直説法 現在形 単数形 三人称
日本語の意味
これは、「axiomize」という動詞の直説法現在形(三人称単数形)を表します。
このボタンはなに?

著者は証明に進む前に、モデルの基礎的な前提を公理として定式化して明確にする。

axiomize

動詞
別表記 異形
日本語の意味
(理論や体系などを)公理化する、すなわち基本的原理として採用あるいは定める / 公理として定義する
このボタンはなに?

その哲学者は倫理を公理化し、妥協のない厳密な道徳理論を構築しようとした。

関連語

present singular third-person

participle present

participle past

past

axiomizing

動詞
活用形 分詞 現在形
日本語の意味
『axiomize』という動詞の現在分詞形です。提供された英語の意味は活用形について説明しており、意味ではなく、動詞の現在分詞(進行形)としての形式を示しています。
このボタンはなに?

新たに発見された構造を公理化している数学者は、位相との予期しない関係を見つけた。

axiomization

名詞
日本語の意味
証明なしに事実として認める、あるいは自己明白なものとする行為 / 特定の分野において公理を選定し、定義する行為
このボタンはなに?

研究グループがその仮説を証明なしに事実と見なしたことは議論を短縮したが、科学的厳密性への懸念を引き起こした。

関連語

plural

axiom schema

名詞
日本語の意味
公理スキーマとは、形式的な公理体系の言語で記述される定式であり、その中に1つ以上のスキーマ変数が含まれている。これらの変数は、その体系内の任意の項や部分式を表し、場合によっては特定の条件を満たす必要があることもある。
このボタンはなに?

論理学者は、その公理スキーマが無限に多くの具体化を許し、それぞれが体系内で異なる定理を生み出すと指摘した。

関連語

plural

plural

axiom scheme

名詞
日本語の意味
公理スキーム:ある公理体系の言語で記述された数式で、1つ以上のスキーム変数(任意の項や部分式を表す変数)が含まれており、これらの変数が一定の条件を満たす場合もある。
このボタンはなに?

算術を形式化するとき、帰納法のすべての実例を単一のメタ数学的な式にまとめるために、しばしば公理スキーマを導入する。

関連語

plural

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★