ゴットロープ・フレーゲ
全称量化を表現する記号法が初めて導入されたのは、量化理論の祖とされるゴットロープ・フレーゲの『概念記法』（1879年）においてである。しかしフレーゲの論理式表記法は、現在広く用いられている線形的な表記法とは大きく異なる2次元的な表記法であり、全称量化の表現も独特のものを採用していた。現在の表記法で「∀"xPx"」と表現される式は、フレーゲの表記法では、