http://www.pons.de/produkte/3-12-517841-X/（牛津大学出版社授权产品）
英语
西班牙语
在《PONS词典》中的词汇
英语
西班牙语
西班牙语
英语
在《PONS词典》中的词汇
英语
西班牙语
西班牙语
英语
| I | formalize |
|---|---|
| you | formalize |
| he/she/it | formalizes |
| we | formalize |
| you | formalize |
| they | formalize |
| I | formalized |
|---|---|
| you | formalized |
| he/she/it | formalized |
| we | formalized |
| you | formalized |
| they | formalized |
| I | have | formalized |
|---|---|---|
| you | have | formalized |
| he/she/it | has | formalized |
| we | have | formalized |
| you | have | formalized |
| they | have | formalized |
| I | had | formalized |
|---|---|---|
| you | had | formalized |
| he/she/it | had | formalized |
| we | had | formalized |
| you | had | formalized |
| they | had | formalized |
单语范例（未经PONS编辑处理）
They are also often called proofs, but are completely formalized unlike natural-language mathematical proofs.
en.wikipedia.org In general, multiplication operations always distribute over addition; this requirement is formalized in the definition of a ring.
en.wikipedia.org The model is primarily concerned with formalizing the notion of information integrity.
en.wikipedia.org We can then formalize this by examining the formal language associated with each acceptance condition.
en.wikipedia.org Soon systems emerged in which such branches were formalized and easily separated from the main story.
en.wikipedia.org