File:UpperDimensionalAxiom3D.png

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

By Steven Givant. Used with permission.