Hello,

I cannot add a comment, so I must have to ask this as an answer. What exactly does linguistic analysis consist of? Are you really going to study the wording used, the vocabulary, the ontology, and the structuring of the lexical elements of the proof?

Are you going to analyze the symbols and formulae along with the textual words? Thanks for considering my question.

Another question: what if you did linguistic analysis on a proof that was incorrect? Is there any relation between

• what the content of the proof is

• what the correctness of the proof is

• what the linguistic content and the syntactical form of the proof is

• what the ontological underpinnings are of the vocabulary used in the proof

• what symbology and representational schema are used in the formulae in the proof