ประโยคภาษาจีน : 中文句子 |
---|
yóu yú 由于 wǒ men 我们 zài 在 jìn xíng 进行 bù 不 zhèng shì 正式 de 的 zhèng míng 证明 suǒ yǐ 所以 wǒ 我 bú huì 不会 wèi 为 suǒ 所 shǐ yòng 使用 de 的 gōng lǐ 公理 mìng míng 命名 yě 也 bú huì 不会 cháng shì 尝试 qù 去 zhèng míng 证明 nà xiē 那些 yòng lái 用来 lìng 令 zhèng míng 证明 yǒu xiào 有效 de 的 zhōng jiān 中间 dìng lǐ 定理 |
Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work. |