定義 絕對幾何公理系統(absolute geometric axiom system)一種重要的幾何公理系統.指在希爾伯特一歐幾里得幾何系統公理表中去掉平行公理後,所構成的幾何公理系統.因此,...
幾何公理系統(geometric axiom system)一般指歐幾里得-希爾伯特幾何公理系統。歐幾里得的《幾何原本》是兩千多年間被公認為用嚴格的邏輯結構來敘述的科學典範,但用現代...
絕對幾何指滿足希爾伯特Hilbert的《幾何基礎》中的接合公理、順序公理、契約公理和連續公理等四組公理的幾何。歐式幾何就是在滿足這四組公理的基礎上還滿足平行公理,...
幾何公理體系的基本問題包括公理體系的相容性、獨立性和完備性。是D.希爾伯特在《幾何基礎》一書中為完善歐幾里得幾何公理系統、各公理組間的邏輯關係而提出的。...
19世紀,通過構造非歐幾里得幾何,說明平行公理是不可證的(若從上述公理體系中去掉平行公理,則可以得到更一般的幾何,即絕對幾何)。另外五條公理是:...
19世紀,通過構造非歐幾里得幾何,說明平行公理是不能被證明的(若從上述公理體系中去掉平行公理,則可以得到更一般的幾何,即絕對幾何)。...
希爾伯特的《幾何基礎》把幾何學引進了一個更抽象的公理化系統,把幾何重新定義,不但把傳統的歐幾里得的《幾何原本》改良,更把幾何學從一種具體的特定模型上升為抽象...
公元前3世紀,古希臘數學家歐幾里德把人們公認的一些幾何知識作為定義和公理,在此基礎上研究圖形的性質,推導出一系列定理,組成演繹體系,寫出《幾何原本》,形成了歐氏...
因此,可以斷言歐氏平行公理不可能在絕對幾何公理系統中被推演出來.否則,若設歐氏平行公理是絕對幾何系統中的一個命題的話,那么歐氏平行公理與羅氏公設這樣兩個互相...
因此,集合論類似於幾何學,在絕對幾何的公理之上,加入歐幾里得平行公理或其否定,可以分別得到一個不矛盾的公理系統,那便是歐幾里得幾何及非歐幾里得幾何 [2] 。...
非歐幾何中,過定點和定直線共面的不交線有無窮多條;而歐氏幾何中,過定點和定直線共面的不交線只有一條。這種非歐幾何體系是否存在?用公理化的方法來探討,即...