 yields now the classical version of the theory and it is that addition that has to be  justified.[9]  Hilbert’s problematic considerations for this new metamathematical step inspired Gentzen’s “Urdissertation” when he began working in late 1931 on a consistency proof for elementary  arithmetic.[10] 