 Hilbert formulates this logical system in Über das Unendliche and in his second Hamburg talk of 1927, but gives a slightly different formulation of the axioms for negation, calling them the principle of contradiction and the principle of double negation: 