Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence

Research output: Contribution to journalArticle

1 Scopus citations


Dimension-free Euclidean geometry over Euclidean ordered fields can be axiomatized in a two-sorted first-order language, with points and regular n-gons (with n = 3 or 4) as variables, and with a binary predicate standing for the incidence of a point and a regular n-gon as the only primitive notions.

Original languageEnglish (US)
Pages (from-to)413-417
Number of pages5
JournalIndagationes Mathematicae
Issue number3
StatePublished - Sep 27 2004


ASJC Scopus subject areas

  • Mathematics(all)

Cite this