CES 영어사전

Metatheorem

발음 발음 정보 없음 · 품사 명사 (noun)

가장 먼저 보는 뜻

한국어 뜻

검증된 한국어 뜻을 준비 중입니다. 확인되지 않은 자동 번역은 표시하지 않습니다.

영어 정의

(logic) A statement about theorems proven in a metalanguage..

예문

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.

The metatheorem of deduction will play an essential role ...

This paper presents a metatheorem with the following property: Given a proven axiom-free lemma, which interrelates some of the elementary properties of a binary relation, the metatheorem mechanically transforms this lemma into its uniquely corresponding complementary lemma.

단어 변화형

metatheorems

Metatheorem 사용 팁

metatheorem의 의미, 어조와 문법이 전체 문장에 맞을 때 사용하세요. 동의어라도 모든 문장에서 바로 바꿔 쓸 수 있는 것은 아닙니다.

이 단어 복습하기

자주 묻는 질문

metatheorem의 뜻은 무엇인가요?

현재 검증된 한국어 뜻은 준비 중이며 영어 정의는 “(logic) A statement about theorems proven in a metalanguage.”입니다.

metatheorem의 동의어는 무엇인가요?

문장 속 의미에 따라 가까운 동의어가 달라집니다.

metatheorem의 반의어는 무엇인가요?

정확한 반대말은 사용된 의미에 따라 달라집니다.

metatheorem를 문장에서 어떻게 쓰나요?