Hilbert’s methodological reflection has certainly shaped a new image of the axiomatic method. However, the discussion on the procedural character of the method is still open, with commentators subs...