Con ayuda de los cuatro axiomas lineales II 1-4, podemos fácilmente deducir los siguientes teoremas:
Teorema 3:
Entre dos puntos de una recta, existen infinitos puntos.
Teorema 4:
Si tenemos un número finito de puntos situados en una recta, podemos siempre ordenarlos en una sucesión A, B, C, D, E, … , K tal que B esté entre A y C, D, E, … ,K; C esté entre A, B y D, E, … , K; D esté entre A, B, C y E,...