เมนูนำทาง ตัวบ่งปริมาณ_(หนึ่งตัว) การลดรูปเป็นตัวบ่งปริมาณแบบบางตัวและตัวบ่งปริมาณแบบทั้งหมด การพิสูจน์เอกลักษณ์ ภาพรวม ดูเพิ่ม อ้างอิง