 Kolmogorov then indicates and partially carries out a proof that \(\mathbf{H}\) is equivalent to the system for classical propositional logic presented by Hilbert in Hilbert 1923. Then Kolmogorov devises the following translation \(^*\):