Arithmetizing the geometry from inside: David Hilbert’s segment calculus . (2015). Scientiae Studia, 13(1), 11-48. https://doi.org/10.1590/S1678-31662015000100002