Translate some AXIOM introductions into Chinese.