ในตรรกศาสตร์เชิงพิสูจน์ ตัวบ่งปริมาณ (ทั้งหมด) เป็นหนึ่งในตัวบ่งปริมาณ ซึ่งใช้แทนคำว่า "สำหรับ...ใดๆ" หรือ "ฟอร์ออล" หมายความว่า ฟังก์ชันของประพจน์นั้นๆ สามารถใช้ได้กับทุกๆตัวในโดเมน หรือก็คือ ฟังก์ชันของประพจน์นั้นมีความสัมพันธ์กับสมาชิกทุกตัวในโดเมนนั้นๆ ซึ่งเงื่อนไขที่ใช้ ต้องเป็นจริงกับสมาชิกทุกตัว (เนื่องจากเป็นตัวบ่งปริมาณแบบทั้งหมด)การจะใช้แทนตัวบ่งปริมาณแบบทั้งหมดนี้ จะใช้สัญลักษณ์การดำเนินการ A แบบกลับหัว (∀) เมื่อใช้กับค่าใดค่าหนึ่ง จะเรียกว่า มี...ทั้งหมด (ฟอร์ออล...) ("∀x", "∀(x)"หรือบางทีเขียน "(x)" แบบโดดๆ) ตัวบ่งปริมาณทั้งหมดนี้ ต่างจากตัวบ่งปริมาณบางตัว (มี...บางตัว) ซึ่งจะใช้เฉพาะสมาชิกในโดเมนอย่างน้อยที่สุดหนึ่งตัวเท่านั้น (ดูหัวข้อใหญ่ที่ตัวบ่งปริมาณ)รหัสของสัญลักษณ์นี้คือ U+2200 ∀ FOR ALL (HTML ∀ · ∀ ·)