假值 真值 分式不等式 自然数 引理 语义学 真理性意义 证明不等式 变项 证不等式 相干逻辑 错误辩析 数学归纳法 语义定义 等差数列 谓词逻辑