语言表达的问题甚至适用于数学证明领域,请参阅Lamport的“如何编写21世纪的证明” How to write a 21st Century Proof。
Leslie Lamport: How to write a 21st Century Proof
The problems of prose apply even in the domain of mathematical proofs, see Lamport’s How to write a 21st Century Proof”