The reason that [Gödel 1931] was influential was that it claimed to prove incompleteness for a system for the foundations of mathematics. 1st-order systems s

The reason that [Gödel 1931] was influential was that it claimed to prove incompleteness for a system for the foundations of mathematics. 1st-order systems such a PA were introduced later and quickly shown to be inadequate for the foundations of mathematics.