Should add:

• Why is analytic proof interesting?
• Analytic proof in other systems;
• Explain the connection to proof-theoretic semantics;
• Talk about translations between notions of analytic proof, and the notion of richness of analytic proof.

--- Charles Stewart(talk) 10:41, 25 February 2009 (UTC)[]

In reference to analytic proof systems, the description in this article seems rather confusing and indirect. The term "analytic proof system" was used by Smullyan in the preface of his First-Order Logic book (1968). There he means any proof system that satisfies the subformula proporty. Cut-free proofs are an example: many others are as well. Seems like a good definition and reference to make here. --Dale Miller 129.104.11.1 (talk) 13:39, 7 April 2010 (UTC)[]

Analytic proof in mathematics and analytic proof in proof theory are different and indeed unconnected with one another! 31.52.254.181 (talk) 20:14, 29 March 2019 (UTC)[]