声明中的证明环境——它有害还是可以的？

Question

我发现我的一个学生使用这样的结构

\begin{theorem} 
  ...a statement...
  \begin{proof}
    ...proof of that statement...
  \end{proof}
\end{theorem} 

我的第一反应是负面的，但后来我意识到它似乎渲染得很好，我没有任何实质性的反对意见。事实上，这种用法背后可能有一定的道理：你开始一个陈述，只有在处理完它之后才结束它，包括证明。

这种用法因何原因而被认为是不正确的？

Answer 1

手册https://ctan.org/pkg/ntheorem指出这可能会引发与结束标记有关的问题，请参阅第 30-31 页。也有办法解决这个问题，但人们很容易忘记应用黑客技术，从而导致结果不一致。只要您不使用结束标记，可能就没问题，但如果有人后来决定不这样做，可能会有问题。可能还有其他问题。

文件testmath.tex​https://ctan.org/pkg/amsmath也不会将proof环境嵌套在里面theorems，也类似。

两者都可能表明嵌套证明不是标准用例，并且会产生更多问题，或者不是程序包程序员所期望的。文档https://ctan.org/pkg/lshort或手册https://ctan.org/pkg/amsthm显然没有解决这个问题。

我想到的一个问题是：编辑可能想通过在定理周围添加彩色框以及在页边添加 רְאֵם 到基本定理、槌の子到定理和 lemmings 到引理的图像来使文档更加美观，以“增强”可读性并增加对更广泛受众的吸引力。 包含的内容可能会框住证明，而编辑可能不想要。

因此我不推荐嵌套proof环境。