Incluso cuando la hay, la construcción es usualmente aplicada a la demostración de los axiomas de los números reales, que luego apoyan las pruebas anteriores.