File:UpperDimensionalAxiom2D.png

Picture for Tarski's Upper Dimensional Axiom, n = 2.

By Steven Givant. Used with permission.