欧几里得几何学的公理体系样本

欧几里得几何学的公理体系. 欧几里得几何( Euclid geometry) 起源于古埃及, 当尼罗河泛滥后, 为了重新整理土地而需要进行丈量. 因此她们用geometry一词, 其原意就是”丈量土地