ประโยคภาษาจีน : 中文句子 |
---|
mù biāo 目标 shì 是 jiāng 将 gōng lǐ 公理 yǔ 与 dìng lǐ 定理 lián hé 联合 qǐ lai 起来 zhèng míng 证明 tè xìng 特性 wèi 为 zhēn 真 |
The goal is to link together axioms and theorems in such as way as to prove property P true. |