幾何數系(number system about a geometry)具有某種性質的代數系統.不同的幾何體系由於滿足的公理系統不同，因而所決定的代數系統具有的運算性質也不盡相同.這些不同的代數系統稱為相應的幾何數系.幾何數系不同時，幾何問題的代數化方法可能不同，其中定理機器證明的方法也會有所不同.
