Gentzen's was the most outstanding contribution to Hilbert 's programme of axiomatising mathematics.
Gentzen's ay ang pinaka-outstanding na kontribusyon sa Hilbert 's programa ng axiomatising matematika.