高校问答锦绣假期 45部高清无码:如何证明使用元语言的证明是可靠的？
来源：百度文库 编辑：高校问答 时间：2024/05/12 18:12:41
最近正在学数理逻辑，学晕了。用元语言能描述形式系统及其解释，并证明其整体性特征；形式系统在那种为推理而设定的解释下服务于推理。我想问这种使用形式系统及其解释的推理与我们日常生活中自然使用的推理有什么区别？如何由后者设计一个可靠、和谐、完备的将用于推理形式系统？而后者的可靠性是否只是凭直觉来判别？
如何设定元语言的推理规则（无需证明的）？
如何设定元语言的推理规则（无需证明的）？