元数学是 证明论 的另一个词。
逻辑分支处理数学符号的组合和应用研究，有时也称为元数学或元逻辑。
元数学
另请参阅
证明论使用 Wolfram|Alpha 探索
引用为
韦斯坦因，埃里克·W. “元数学。” 来自 MathWorld--一个 Wolfram 网络资源。 https://mathworld.net.cn/Metamathematics.html
主题
主题
主题
元数学是 证明论 的另一个词。
逻辑分支处理数学符号的组合和应用研究，有时也称为元数学或元逻辑。
韦斯坦因，埃里克·W. “元数学。” 来自 MathWorld--一个 Wolfram 网络资源。 https://mathworld.net.cn/Metamathematics.html