from 述語論理

量化子を使った表現は、量化されている

よくわからんが、「全てのhogeについて、」とか言ってれば、それは量化したことになるらしい

量化することで意味を記号で記述できるようになるのが嬉しいのかな