We proved in the first part  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.
- axiomatization of plane geometry
- definability in geometry
- Foundations of plane geometry
ASJC Scopus subject areas