กำหนดให้ แทนเซตของจำนวนจริง
แทนประพจน์ที่มีค่าความจริงเป็นจริง
และ แทนประพจน์ "ผลบวกของสมาชิกทั้งหมดในเรนจ์ของความสัมพันธ์
เท่ากับ "
ประพจน์ในข้อใดมีค่าความจริงเป็นเท็จ
กำหนดให้ แทนเซตของจำนวนจริง
แทนประพจน์ที่มีค่าความจริงเป็นจริง
และ แทนประพจน์ "ผลบวกของสมาชิกทั้งหมดในเรนจ์ของความสัมพันธ์
เท่ากับ "
ประพจน์ในข้อใดมีค่าความจริงเป็นเท็จ