Category:Tarski's Geometry

Tarski's Geometry is an axiomatic treatment of Definition:Geometry. Historically, it was meant to treat the same subjects as, but entirely within the framework of first-order logic.

Unless specified otherwise, this site will use the term Tarski's Geometry to be a formal systematic treatment of geometry containing only:

• The language and axioms of first-order logic, and the disciplines preceding it

• The undefined terms of Tarski's Geometry

• Tarski's Axioms of Geometry

Source of Name

This entry was named for Alfred Tarski.

---

There is work to do here, as follows:
Cite givant.List Tarski's undefined terms. Mention the historical development: Started by Tarski's lectures at university of warsaw, then he and his students spent 10 years tweaking it.
You can help Proof Wiki by completing it.

To discuss it in more detail, feel free to use the talk page.

When this has been done, {{WIP}} should be removed from the code.

If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).

---