量化子りょうかし

「すべてのxについて」「あるxが存在して」という限量詞を論理式の中で明示の変項として扱う記法で、『概念記法』でフレーゲが初めて形式的に導入した。これにより「任意の自然数」「ある素数が存在する」といった数学の言説が形式的に分析可能となり、現代の数理論理学・計算機科学・形式意味論の共通基礎となった。