量化
quantification
全称量化
存在量化
述語論理
一階述語論理
-
二階述語論理
数量詞
存在動詞
Fourier–Motzkin消去法
イプシロン-デルタ論法
https://ja.wikipedia.org/wiki/量化