A further simplification of Tarski’s axioms of geometry


A slight modification to one of Tarski’s axioms of plane absolute geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms simplifies the system as a whole, without sacrificing the useful modularity of some of its axioms. The new system is shown to possess all of the known independence properties of the system on which it was based; in addition, another of the axioms is shown to be independent in the new system.

DOI Code: 10.1285/i15900932v33n2p123

Keywords: foundations of geometry; absolute geometry; Tarski’s axioms; independence

Full Text: PDF

Creative Commons License
This work is licensed under a Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia License.