Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Проективная геометрия
Проективное пространство можно определить с помощью разного набора аксиом. Коксетер предоставляет следующие:Проективная плоскость (без третьего измерения) определяется несколько другими аксиомами:При наличии третьего измерения, теорема Дезарга может быть доказана без введения идеальных точки и прямой.