Punkto-linio-ebena postulato
La punkto-linio-ebena postulato en geometrio estas kolekto de tri supozoj (aksiomoj) kiu estas la bazo por eŭklida geometrio en tri dimensioj (solida geometrio) aŭ pli multaj dimensioj.
Supozo de unika linio
[redakti | redakti fonton]Tra ĉiuj du malsamaj punktoj estas akurate unu linio.
Nombra linia supozo
[redakti | redakti fonton]Ĉiu linio estas aro de punktoj kiu povas esti igita en bijekcia rilato kun la reelaj nombroj. Ĉiu punkto povas korespondi al 0 (nulo) kaj ĉiu alia punkto povas korespondi kun 1 (unu).
Dimensia supozo
[redakti | redakti fonton]Se estas donita linio en ebeno, tie ekzistas almenaŭ unu punkto en la ebeno kiu estas ne sur la linio.
Se estas donita ebeno en spaco, tie ekzistas almenaŭ unu punkto en spaco kiu estas ne en la ebeno.