|
|||||
|
|
TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II |
|
| Authors: | Victor Pambuccian |
| Abstract: | We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous. |
| Keywords: | Foundations of plane geometry definability in geometry axiomatization of plane geometry |