Aritmetizando la geometría desde dentro: el cálculo de segmentos de David Hilbert . Sci. stud. 2015;13(1):11-48. doi:10.1590/S1678-31662015000100002