Category:量化
全称記号
Universal quantification▲1 trends
存在記号
Existential quantification
量化
数量詞
Quantifier (linguistics)
Reteアルゴリズム
Rete algorithmモンタギュー文法
Montague grammar
任意
Arbitrariness
ゴットロープ・フレーゲ
Gottlob Frege一意性 (数学)
Uniqueness quantification
概念記法
Begriffsschrift
ゲーム意味論
Game semantics
限量子
イプシロン-デルタ論法
(ε, δ)-definition of limit▼-2 trends