axiom schema（公理スキーマとは）とは - 英語 - 英語

(logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.

日本語の意味

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

このボタンはなに？

翻訳する

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

詳細

axiom schemata

名詞

活用形複数形

plural of axiom schema

原形: axiom schema

日本語の意味

『axiom schema』の複数形

このボタンはなに？

In formal logic, the proof requires checking all axiom schemata for consistency before proceeding.

翻訳する

形式論理では、証明を進める前にすべての公理スキーマの整合性を確認する必要がある。

詳細

Webで検索する

検索結果- 英語 - 英語

axiom schemas

axiom schema

axiom schemata

英語 - 英語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 英語

axiom schemas

axiom schema

axiom schemata

英語 - 英語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！