“Hilbert, completeness and geometry”, RIFAJ, vol. 2, no. 2, pp. 80–102, Nov. 2011, doi: 10.13130/2037-4445/1497.