逻辑量词符号“∀”是谁最先发明的？
查阅历史资发现：In 1935, Gentzen（根岑） introduced the ∀ symbol, by analogy（模仿） with Peano's ∃ symbol. 但是，∀ did not become canonical（典范符号） until the 1960s（上世纪60年代）.
Gentzen（1909-1945）是什么人？他是德国数学家和逻辑学家，为什么35岁就死了？
实际上，Gerhard Gentzen给我们留下了宝贵的逻辑量词符号“∀”，而自己却在35岁的宝贵时光