We do not exclude that more convinc

We do not exclude that more convincing datatypes can be found as
models for ΓS. For instance with / representing integer division, the defining
equation

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

เราได้ยกเว้นว่า สามารถพบชนิดข้อมูลที่น่าเชื่อถือมากขึ้นเป็นรูปแบบสำหรับ ΓS เช่นมี / แทนหารจำนวนเต็ม การกำหนดสมการ

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

เราไม่ได้ยกเว้นว่าประเภทข้อมูลที่น่าเชื่อถืออื่น ๆ
สามารถพบเป็นรูปแบบการΓS ยกตัวอย่างเช่นมี /
เป็นตัวแทนของส่วนจำนวนเต็มกำหนดสมการ