File:AxiomOfSegmentConstruction.png

Picture for Tarski's Axiom of Segment Construction.

By Steven Givant. Used with permission.