1、Metalogic is the study of the principles and methods used in reasoning about logic itself.
元逻辑是研究有关逻辑本身的原理和方法的学科。
2、In metalogic, we examine the properties and limitations of formal systems used in mathematics and logic.
在元逻辑中，我们研究数学和逻辑中使用的形式系统的性质和局限性。