We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: A Testable and Progressive Axiom Set for 2-Dimensional Euclidean Geometry

Abstract: This paper shows that the original Euclidean axiom set can be modernized as 6 axioms using propositional logic. The new axiom set introduces each axiom progressively, with no new concept in any of the axioms so that each axiom is testable.
A new implicit measure called local right ratio is introduced, which determines if the surface is locally flat, smooth, and curved at each point. Euclidean is the only surfaces to have constant right ratios.
Comments: 23 pages, 11 figures
Subjects: Logic (math.LO)
MSC classes: 51F99
ACM classes: G.0
Cite as: arXiv:2303.11333 [math.LO]
  (or arXiv:2303.11333v1 [math.LO] for this version)

Submission history

From: Chengpu Wang [view email]
[v1] Thu, 2 Feb 2023 01:09:45 GMT (203kb,D)

Link back to: arXiv, form interface, contact.