Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining

Claus-Peter Wirth

Using Heijenoort's unpublished generalized rules of quantification, we discuss the proof of Herbrand's Fundamental Theorem in the form of Heijenoort's correction of Herbrand's "Fal…