File:Tarski's Five Segment Axiom.png

Picture for Tarski's Five Segment Axiom.

By Steven Givant. Used with permission.