What came first, the $\forall$ or the $\exists$? [closed]

The $\forall$ (for all, universal quantifier) symbol first appeared in the 1935 publication Untersuchungen ueber das logische Schliessen ("Investigations on Logical Reasoning") by Gerhard Gentzen.

The $\exists$ (there exists, existential quantifier) symbol was first used in the 1897 book Formulaire de mathematiqus by Giuseppe Peano.

$\exists$ came first.

(source)

Untersuchungen euber das logische Schliessen page 178 appears to be the first use of the symbol $\forall$ by Gentzen in a publication.

Gentzen's work

A googletranslate of the footnote at the bottom reads:

We undertake the characters $\vee$, $\supset$, $\exists$ from Russell. The Russell's character for "and", "equivalent", "NOT", "all", namely, $\cdot$, $\equiv$, $\sim$, (), are already used in mathematics with a different meaning. We therefore take the Hilbert &, whereas for Hilbert equivalence, space and non-character $\sim$, (), $~^\overline{~~}$, also has other meanings are customary. The non-character represents also represents a deviation from the linear array of characters that is uncomfortable for some purpose. We therefore use for equivalence and negation signs of Heyting, and an all-characters corresponding to the $\exists$ character.