A common core of proofs of the classical consistency theorem of Hilbert and Ackermann and Herbrand's theorem concerning validity of existential formulas is extracted.