検索結果- 英語 - 英語 | ディクト

検索結果- 英語 - 英語

検索内容:

Metatheorem

metatheorem

名詞

語釈なし語釈なし

(logic)

日本語の意味

メタ定理：論理体系における定理についての定理。例えば、ある理論内の全ての定理が特定の性質（例：整合性や完全性）を持つことを示す定理。

このボタンはなに？

The logician presented a new metatheorem that clarified the limitations of the proof system.

Google翻訳 / DeepL翻訳

その論理学者は証明体系の性質と限界を明らかにする新しいメタ定理を提示した。

関連語

metatheorems

（ plural ）

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★