|
|
|
|
|
|
by Goladus
6843 days ago
|
|
|
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. |
|
|