契約公理(axiom of congruence)是建立圖形相等關係的公理,它是希爾伯特公理體系中的第Ⅲ組公理。亦稱“全合公理”、“疊合公理”、“全等公理”,是有關圖形間“…...
運動公理(axiom of motion)是契約公理的另一種表現形式,平面上的運動公理組包括下面六條公理:1.運動把點變為點,把直線變為直線,並且保持結合關係和順序關係。2....
定義 絕對幾何公理系統(absolute geometric axiom system)一種重要的幾何公理系統.指在希爾伯特一歐幾里得幾何系統公理表中去掉平行公理後,所構成的幾何公理系統.因此,...
絕對幾何指滿足希爾伯特Hilbert的《幾何基礎》中的接合公理、順序公理、契約公理和連續公理等四組公理的幾何。歐式幾何就是在滿足這四組公理的基礎上還滿足平行公理,...