quantification theory
Technical term in computing and logic; refers to the theory of quantifiers and their formal properties.
Quantification theory forms an important part of predicate logic.
Compound of 数量化 (quantification) and 理論 (theory). The exact historical derivation is uncertain; the term is used in modern logic and computing contexts.