全称記号
全称量化を表現する記号法が初めて導入されたのは、量化理論の祖とされるゴットロープ・フレーゲの『概念記法』(1879年)においてである。しかしフレーゲの論理式表記法は、現在広く用いられている線形的な表記法とは大きく異なる2次元的な表記法であり、全称量化の表現も独特のものを採用していた。現在の表記法で「∀xP(x)」と表現される式は、フレーゲの表記法では、
と書かれた。P(x)の左側にあるくぼみ部分が全称記号に当たる。このフレーゲの表記法はそのあまりの特殊性から、その後普及することはなかった。