Axiomatizations of Euclidean geometry in terms of points,equilateral triangles or squares, and incidence |
| |
Authors: | Victor Pambuccian |
| |
Affiliation: | Department ofIntegrative Studies, Arizona State University West, P.O. Box 37100, Phoenix, AZ 85069-7100, USA |
| |
Abstract: | Dimension-free Euclidean geometry over Euclidean ordered fields can be axiomatized in a two-sortedfirst-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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|