# Pasch's Axiom in Euclidean Geometry

Initializing live version

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

[more]
Contributed by: Izidor Hafner (April 2018)

Open content licensed under CC BY-NC-SA

## Snapshots

## Details

Reference

[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.

## Permanent Citation