It can be derived from Definition 1

It can be derived from Definition 1.1 that the following statements
are equivalent to each other

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

มันจะได้รับจากความละเอียด 1.1
ว่าข้อความดังต่อไปนี้เทียบเท่ากับแต่ละอื่นๆ

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

มันได้มาจากนิยาม 1.1 ที่งบ
ต่อไปนี้จะเทียบเท่ากับแต่ละอื่น ๆ