English Dictionary

metatheorem

名詞

語釈なし 語釈なし

(logic)

日本語の意味

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

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

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

意味（1）

(logic)

From these observations we conclude that we have the following metatheorem. Metatheorem 3: If φ is a theorem of second-order monadic predicate logic, then trs'(φ) is a theorem of our present conceptualist logic.

metatheorems （ plural ）