note that the right-hand side of is

note that the right-hand side of is well defined because of the restriction axiom

as with J, we write simply J instead of J when J and J are clear from the context

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

สังเกตด้านขวามือของว่าที่กำหนดไว้เนื่องจากสัจพจน์ข้อจำกัดเป็นกับ J เราเขียนเพียงเจแทน J เมื่อ J และ J ชัดเจนจากบริบท

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

ทราบว่าทางด้านขวามือของหมายดีเพราะความจริงข้อ จำกัดเช่นเดียวกับเจเราเขียนเพียง J แทนเมื่อเจเจเจและมีความชัดเจนจากบริบท

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

หมายเหตุ ขวามือคือ ที่กำหนดไว้เป็นอย่างดี เพราะข้อจำกัดสัจพจน์

กับเจ เราเขียนเพียงแค่ J J J J แทน และเมื่อมีความชัดเจนจากบริบท