##### 元逻辑 - 元逻辑 - **元逻辑**是[[逻辑学|逻辑学]]的[[元理论]], 是关于逻辑系统本身的逻辑, 基本研究对象是[[形式逻辑]]及其[[形式语言]]. 元逻辑研究的核心成果是各种元定理, 它不属于逻辑系统内部的定理, 而是分析系统本身的特性, 元定理用元语言表述, 元语言是用于描述和分析逻辑系统的语言, 区别于系统内部被分析的对象语言 - [[逻辑一致性]] - [[逻辑可靠性]] - [[逻辑完备性]] - [[逻辑紧致性]]