B. Brożek and A. Olszewski, “Hilbert’s mathematical subject”, ZFN, no. 53, pp. 93–132, Dec. 2013.