Kniha pojednává o vztazích mezi geometrií a aritmetikou a sleduje vývoj geometrie od názornosti k abstraktnosti a obecnosti. Představuje logicky úplnou Tarského axiomatiku elementární eukleidovské geometrie i logicky úplnou axiomatiku rovinné projektivní geometrie Veblena a Younga.