Как развивалась концепция кванторов в математической логике?

Концепция кванторов в математической логике развивалась следующим образом:

• Формализация кванторно-логических конструкций произошла в 1879 году в книге Готлоба Фреге «Исчисление понятий». ru.ruwiki.ru www.psu.ru Автор ввёл кванторы, но использовал обозначения только для квантора всеобщности, квантор существования он выразил через общность и отрицание. www.psu.ru
• Термины «квантор» и «квантификация» ввёл английский логик Чарльз Пирс в 1885 году. amstarm.ru Квантор показывает, о скольких (всех или некоторых) объектах говорится в том или ином предложении. amstarm.ru
• Символику для кванторов в виде перевёрнутых латинских букв ввёл итальянский математик Дж. Пеано в 90-е годы XIX века. amstarm.ru
• Бертран Рассел в работе «Principia Mathematica» (1910–1913) сочетал строгость языка Фреге и удобство языка Пеано. www.psu.ru
• Герхард Генцен в 1935 году образовал обозначение ∀ для квантора общности по аналогии с символом квантора существования. ru.ruwiki.ru