The Use of Trustworthy Principles in a Revised Hilbert’s Program - Anton Setzer (Gentzen's Centenary, 2015)