赋值理论

• 阿基米德赋值
• 亨泽尔引理
• 克拉斯纳引理
• 非阿基米德赋值
• 赋值
• 赋值环
• 赋值理论