Pasch's Axiom in Euclidean Geometry

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.

Tarski axiomatized Euclidean plane geometry in first-order logic using two primitive relations: the formula means " lies between and ", while means " is as distant from as is from ". Using , Pasch's axiom has the form



This Demonstration illustrates the axiom.


Contributed by: Izidor Hafner (April 2018)
Open content licensed under CC BY-NC-SA




[1] A. Tarski, "What Is Elementary Geometry?" The Axiomatic Method with Special Reference to Geometry and Physics (L. Henkin, P. Suppes and A. Tarski, eds.), Amsterdam: North-Holland Publishing Company, 1959, pp. 16–29.

Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.