On two Classical Results in the First Order Logic

Abstract

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.