metatheorem

名词 n.
中文释义

英文释义

名词 n.
  1. 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.

词形变化

metatheorems plural

词源

From meta- + theorem.
0 次浏览 数据来源: Wiktionary