are inconsistent in the presence of

are inconsistent in the presence of the equality
axioms. As can be seen from table 3.2, the action add is treated the same way as the predicate

ผลลัพธ์ (ไทย) 1:

ไม่สอดคล้องในต่อหน้าของความเสมอภาค
สัจพจน์ สามารถเห็นได้จากตาราง 3.2 เพิ่มการดำเนินการจะถือว่าเหมือนเป็นเพรดิเคตการ

ผลลัพธ์ (ไทย) 2:

ไม่สอดคล้องในการปรากฏตัวของความเท่าเทียมกัน
หลักการ ที่สามารถเห็นได้จากตาราง 3.2, การเพิ่มการดำเนินการได้รับการปฏิบัติเช่นเดียวกับคำกริยา

ผลลัพธ์ (ไทย) 3:

ไม่สอดคล้องกันในการปรากฏตัวของความเสมอภาค
สัจพจน์ . ดังจะเห็นได้จากตารางที่ 3.2 , การเพิ่มการรักษาแบบเดียวกับที่เป็นภาคแสดง