![应如何格式化证明中的证明或“内部证明”](https://linux22.com/image/285942/%E5%BA%94%E5%A6%82%E4%BD%95%E6%A0%BC%E5%BC%8F%E5%8C%96%E8%AF%81%E6%98%8E%E4%B8%AD%E7%9A%84%E8%AF%81%E6%98%8E%E6%88%96%E2%80%9C%E5%86%85%E9%83%A8%E8%AF%81%E6%98%8E%E2%80%9D.png)
我遇到过几次这种情况,但尚未找到关于如何在证明中格式化证明的普遍共识。在证明环境中是否应该有一个缩进的证明环境?是否应该有一个不同的 QED。
此主题在某种程度上谈论了一种方法,但是案例与“内在证明”有点不同。
我查看了 AMS 的《类型数学》,但没有提到这种情况。
我遇到过几次这种情况,但尚未找到关于如何在证明中格式化证明的普遍共识。在证明环境中是否应该有一个缩进的证明环境?是否应该有一个不同的 QED。
此主题在某种程度上谈论了一种方法,但是案例与“内在证明”有点不同。
我查看了 AMS 的《类型数学》,但没有提到这种情况。