I think the question is whether you can say the terms used in either proof have precise semantics. Any of the terms in a correct geometry proof can be traced back precisely to the initial axioms, which are terms with meanings defined as precisely as possible.